Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 7b712b60a3329d7528f8fc68effc1878b0911e5c)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 5c96b2a1b03f1872b1ea5081a1dc9a5e0451e3b9)
@@ -177,4 +177,5 @@
 	    (void *) istate_get_pc(istate));
 	
+	istate_decode(istate);
 	stack_trace_istate(istate);