--- zzzz-none-000/linux-2.6.39.4/arch/arm/kernel/traps.c	2011-08-03 19:43:28.000000000 +0000
+++ puma6-atom-6490-729/linux-2.6.39.4/arch/arm/kernel/traps.c	2021-11-10 13:38:14.000000000 +0000
@@ -659,6 +659,8 @@
 
 void __bad_xchg(volatile void *ptr, int size)
 {
+    console_verbose();
+    restore_printk();
 	printk("xchg: bad data size: pc 0x%p, ptr 0x%p, size %d\n",
 		__builtin_return_address(0), ptr, size);
 	BUG();
@@ -694,6 +696,8 @@
 
 void __attribute__((noreturn)) __bug(const char *file, int line)
 {
+    console_verbose();
+    restore_printk();
 	printk(KERN_CRIT"kernel BUG at %s:%d!\n", file, line);
 	*(int *)0 = 0;