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