Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision 6c3106f2799b7a9663b846f3973d4b21e90bfb2a)
+++ kernel/generic/src/debug/panic.c	(revision 9c75782060ff62e5868fdca2b26e311fe5e9be29)
@@ -97,5 +97,5 @@
 	printf("THE=%p", THE);
 	if (THE != NULL) {
-		printf(": pe=%u thr=%p task=%p cpu=%p as=%p",
+		printf(": pe=%" PRIun " thr=%p task=%p cpu=%p as=%p",
 		    THE->preemption_disabled, THE->thread, THE->task,
 		    THE->cpu, THE->as);