Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision 1182d79aa16884a0f726e348c1f469382df43bb2)
+++ 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);