[PATCH] x86_64: Fix no IOMMU warning in PCI-GART driver