Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
+++ kernel/arch/ia32/src/interrupt.c	(revision eb748a07badfc0c0a45c245ac989bd41eb3ca16a)
@@ -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 :