diff --git a/xen/arch/x86/bzimage.c b/xen/arch/x86/bzimage.c
index 37bc78eec2..4843677916 100644
--- a/xen/arch/x86/bzimage.c
+++ b/xen/arch/x86/bzimage.c
@@ -58,8 +58,7 @@ static void flush_window(void);
 
 static __init void error(char *x)
 {
-    printk("%s\n", x);
-    BUG();
+    panic("%s\n", x);
 }
 
 static __init int fill_inbuf(void)