Index: src/lib/func.c
===================================================================
--- src/lib/func.c	(revision 9756131fa15f66c8ed4bfc1d5fccfc9dab372985)
+++ src/lib/func.c	(revision 375237d1632f6c86715f294dae25ca8e45a582cf)
@@ -45,5 +45,8 @@
 	haltstate = 1;
 	cpu_priority_high();
-	printf("cpu%d: halted\n", CPU->id);
+	if (CPU)
+		printf("cpu%d: halted\n", CPU->id);
+	else
+		printf("cpu: halted\n");
 	cpu_halt();
 }