Index: kernel/arch/ppc64/src/cpu/cpu.c
===================================================================
--- kernel/arch/ppc64/src/cpu/cpu.c	(revision b3f8fb771f871e7f2bb35ce9339717639e8f86d6)
+++ kernel/arch/ppc64/src/cpu/cpu.c	(revision 271b5400c010d0eec9cf6495d6f78b10d98a17a2)
@@ -54,5 +54,5 @@
 void cpu_print_report(cpu_t *m)
 {
-	printf("cpu%d: version=%d, revision=%d\n", m->id, m->arch.version, m->arch.revision);
+	printf("cpu%u: version=%d, revision=%d\n", m->id, m->arch.version, m->arch.revision);
 }