Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision 06737a07ba2ef01fe8fbdb942d826c4ad9952c15)
+++ kernel/generic/src/debug/panic.c	(revision 7c31d201005bb12c2569505d071530dc62e85d21)
@@ -49,5 +49,9 @@
 	silent = false;
 
-	printf("\nKERNEL PANIC ON cpu%d DUE TO ", CPU->id);
+	printf("\nKERNEL PANIC ");
+	if (CPU)
+		printf("ON cpu%d ", CPU->id);
+	printf("DUE TO ");
+
 	va_start(args, fmt);
 	if (cat == PANIC_ASSERT) {