---
 drivers/serial/8250.c |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Index: linux-2.6.24-rc8-xeno_64/drivers/serial/8250.c
===================================================================
--- linux-2.6.24-rc8-xeno_64.orig/drivers/serial/8250.c
+++ linux-2.6.24-rc8-xeno_64/drivers/serial/8250.c
@@ -2546,7 +2546,7 @@ static int serial8250_console_early_setu
 	return serial8250_find_port_for_earlycon();
 }
 
-#ifdef CONFIG_IPIPE
+#ifdef CONFIG_IPIPE_DEBUG
 
 #include <stdarg.h>