1 files changed, 3 insertions, 2 deletions

diff --git a/arch/x86_64/kernel/pci-nommu.c b/arch/x86_64/kernel/pci-nommu.c
index 3209adac3272..e41564975195 100644
--- a/arch/x86_64/kernel/pci-nommu.c
+++ b/arch/x86_64/kernel/pci-nommu.c
@@ -92,7 +92,8 @@ void __init no_iommu_init(void)
         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");
         }
 }