iommu/of: Use device_iommu_mapped()