intel-iommu: Use domain_pfn_mapping() in intel_iommu_map_range()