[PATCH] x86_64: Tell user to enable GART_IOMMU when needed

Signed-off-by: Andi Kleen <ak@suse.de>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
diff --git a/arch/x86_64/kernel/pci-nommu.c b/arch/x86_64/kernel/pci-nommu.c
index 3209ada..e415649 100644
--- a/arch/x86_64/kernel/pci-nommu.c
+++ b/arch/x86_64/kernel/pci-nommu.c
@@ -92,7 +92,8 @@
 	dma_ops = &nommu_dma_ops;
 	if (end_pfn > MAX_DMA32_PFN) {
 		printk(KERN_ERR
-		       "WARNING more than 4GB of memory but IOMMU disabled.\n"
-		       KERN_ERR "WARNING 32bit PCI may malfunction.\n");
+		       "WARNING more than 4GB of memory but IOMMU not compiled in.\n"
+		       KERN_ERR "WARNING 32bit PCI may malfunction.\n"
+		       KERN_ERR "You might want to enable CONFIG_GART_IOMMU\n");
 	}
 }