iommu/vt-d: Introduce helper domain_pfn_within_range() to simplify code