Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision 473d5d202238ab61558d1695b8e41f478815a862)
+++ kernel/generic/src/debug/panic.c	(revision 65c3794fd7e56a1dd208b3e458ed818eeafbf8e0)
@@ -97,7 +97,7 @@
 	printf("THE=%p: ", THE);
 	if (THE != NULL) {
-		printf("pe=%" PRIun " thr=%p task=%p cpu=%p as=%p magic=%#x\n",
-		    THE->preemption_disabled, THE->thread, THE->task,
-		    THE->cpu, THE->as, THE->magic);
+		printf("pe=%" PRIun " thr=%p task=%p cpu=%p as=%p"
+		    " magic=%#" PRIx32 "\n", THE->preemption_disabled,
+		    THE->thread, THE->task, THE->cpu, THE->as, THE->magic);
 	} else
 		printf("invalid\n");