Index: kernel/arch/ppc64/src/cpu/cpu.c
===================================================================
--- kernel/arch/ppc64/src/cpu/cpu.c	(revision 9765182e797929caec58c0635313b74e5eae502a)
+++ kernel/arch/ppc64/src/cpu/cpu.c	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
@@ -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);
 }
 
Index: kernel/arch/ppc64/src/interrupt.c
===================================================================
--- kernel/arch/ppc64/src/interrupt.c	(revision 9765182e797929caec58c0635313b74e5eae502a)
+++ kernel/arch/ppc64/src/interrupt.c	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
@@ -81,5 +81,5 @@
 			 */
 #ifdef CONFIG_DEBUG
-			printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum);
+			printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, inum);
 #endif
 		}
Index: kernel/arch/ppc64/src/mm/page.c
===================================================================
--- kernel/arch/ppc64/src/mm/page.c	(revision 9765182e797929caec58c0635313b74e5eae502a)
+++ kernel/arch/ppc64/src/mm/page.c	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
@@ -290,5 +290,5 @@
 {
 	if (last_frame + ALIGN_UP(size, PAGE_SIZE) > KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
-		panic("Unable to map physical memory %p (%d bytes)", physaddr, size)
+		panic("Unable to map physical memory %p (%" PRIs " bytes)", physaddr, size)
 	
 	uintptr_t virtaddr = PA2KA(last_frame);