Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision 09a0bd4a4ab5a70550f327984b135164b05aa58d)
+++ kernel/arch/abs32le/src/abs32le.c	(revision 4fe907b9451912ec457f50c02ea022c9fd7bab92)
@@ -114,13 +114,7 @@
 }
 
-void panic_printf(const char *fmt, ...)
+void istate_decode(istate_t *istate)
 {
-	va_list args;
-	
-	va_start(args, fmt);
-	vprintf(fmt, args);
-	va_end(args);
-	
-	halt();
+	(void) istate;
 }