iommu/vt-d: Fix an off-by-one bug in __domain_mapping()
(bsc#908825).