[PATCH] x86_64: Fix off by one in IOMMU check