Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
+++ kernel/arch/ia32/src/interrupt.c	(revision b752a317bb5dfb454cb227f59a1be5d52d10947d)
@@ -85,5 +85,5 @@
 
 	printf("esi=%0#10" PRIx32 "\tedi=%0#10" PRIx32 "\t"
-	    "ebp=%0#10" PRIx32 "\tesp=%0#10" PRIxn "\n",
+	    "ebp=%0#10" PRIx32 "\tesp=%0#10" PRIx32 "\n",
 	    istate->esi, istate->edi, istate->ebp,
 	    istate_from_uspace(istate) ? istate->esp :