Remove the "vtophys()" in the details cell of the wds(4)
driver. It doesn't use vtophys() and is already busdma
compliant.