diff -Npru /home/jbeulich/src/xen/unstable/2006-01-05/xen/drivers/char/console.c 2006-01-05/xen/drivers/char/console.c
--- /home/jbeulich/src/xen/unstable/2006-01-05/xen/drivers/char/console.c	2005-11-17 15:51:05.000000000 +0100
+++ 2006-01-05/xen/drivers/char/console.c	2006-01-10 13:34:58.000000000 +0100
@@ -311,7 +311,7 @@ static void serial_rx(char c, struct cpu
 
 long guest_console_write(char *buffer, int count)
 {
-    char kbuf[128];
+    char kbuf[128], *kptr;
     int kcount;
 
     while ( count > 0 )
@@ -334,6 +334,9 @@ long guest_console_write(char *buffer, i
 
         serial_puts(sercon_handle, kbuf);
 
+        for (kptr = kbuf; *kptr; ++kptr)
+            putchar_console(*kptr);
+
         buffer += kcount;
         count  -= kcount;
     }