Add support for the PAPR IOMMU. This makes DMA work at least on the
QEMU pSeries emulator. Thanks to kib for working through some details
on IRC.