--- xen/drivers/char/console.c	2008-08-22 05:49:09.000000000 -0400
+++ xen/drivers/char/console.c	2009-02-11 14:05:49.000000000 -0500
@@ -919,7 +919,7 @@ 
     console_start_sync();
     printk("\n****************************************\n");
     printk("Panic on CPU %d:\n", smp_processor_id());
-    printk(buf);
+    printk("placeholder for this printk %s", buf);
     printk("****************************************\n\n");
     if ( opt_noreboot )
         printk("Manual reset required ('noreboot' specified)\n");