intel-iommu: Clean up intel_iommu_unmap_range()