[PATCH 4/6] powerpc/iommu: Use device_iommu_mapped()