Index: generic/src/lib/func.c
===================================================================
--- generic/src/lib/func.c	(revision ba276f748c3474cc35fb4aa7ae6b14c93edd42c5)
+++ generic/src/lib/func.c	(revision ebbdb8fd8b3f471868d0d452f8ad473aa432226e)
@@ -33,4 +33,5 @@
 #include <arch.h>
 #include <typedefs.h>
+#include <console/kconsole.h>
 
 __u32	haltstate = 0; /**< Halt flag */
@@ -46,4 +47,9 @@
 	haltstate = 1;
 	interrupts_disable();
+#ifdef CONFIG_DEBUG
+	printf("\n");
+	kconsole(NULL); /* Run kconsole as a last resort to user */
+#endif      
+
 	if (CPU)
 		printf("cpu%d: halted\n", CPU->id);