Index: linux-2.6.11/kernel/printk.c
===================================================================
--- linux-2.6.11.orig/kernel/printk.c	2005-04-21 20:17:37.000000000 +0200
+++ linux-2.6.11/kernel/printk.c	2005-04-25 18:28:10.000000000 +0200
@@ -540,6 +540,7 @@ asmlinkage int vprintk(const char *fmt, 
 
 	/* Emit the output into the temporary buffer */
 	printed_len = vscnprintf(printk_buf, sizeof(printk_buf), fmt, args);
+//	HYPERVISOR_console_io(CONSOLEIO_write, printed_len, printk_buf);
 
 	/*
 	 * Copy the output into log_buf.  If the caller didn't provide