Index: ksrc/arch/i386/smi.c
===================================================================
--- ksrc/arch/i386/smi.c	(Revision 539)
+++ ksrc/arch/i386/smi.c	(Arbeitskopie)
@@ -209,8 +209,8 @@
 
 #else /* ! CONFIG_XENO_HW_SMI_WORKAROUND */
 
-    printk("Xenomai: Intel chipset found and SMI workaround not enabled,\n"
-           "       you may encounter high interrupt latencies.\n");
+    printk("Xenomai: Intel chipset found but SMI workaround not enabled in kernel\n"
+           "         configuration. You may encounter high interrupt latencies.\n");
     pci_dev_put(dev);
 
 #endif /* ! CONFIG_XENO_HW_SMI_WORKAROUND */