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