Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 8ecb3067403118be4ab8be6d777ffa06ca2299bf)
+++ kernel/generic/src/cpu/cpu.c	(revision 93a33481a1d1d5573982b7a547f23b5955e928b5)
@@ -105,5 +105,5 @@
 			cpu_print_report(&cpus[i]);
 		else
-			printf("cpu%d: not active\n", i);
+			printf("cpu%u: not active\n", i);
 	}
 }