x86/amd-iommu: Fix rounding-bug in __unmap_single