Index: kernel/arch/ppc32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ppc32/src/cpu/cpu.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/ppc32/src/cpu/cpu.c	(revision ad2cf042bea2029414bd5597a2ce547b208ff957)
@@ -36,5 +36,5 @@
 #include <cpu.h>
 #include <arch.h>
-#include <print.h>
+#include <stdio.h>
 #include <fpu_context.h>
 
Index: kernel/arch/ppc32/src/interrupt.c
===================================================================
--- kernel/arch/ppc32/src/interrupt.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/ppc32/src/interrupt.c	(revision ad2cf042bea2029414bd5597a2ce547b208ff957)
@@ -43,5 +43,4 @@
 #include <arch/mm/tlb.h>
 #include <arch/mm/pht.h>
-#include <print.h>
 #include <log.h>
 
Index: kernel/arch/ppc32/src/mm/frame.c
===================================================================
--- kernel/arch/ppc32/src/mm/frame.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/ppc32/src/mm/frame.c	(revision ad2cf042bea2029414bd5597a2ce547b208ff957)
@@ -38,5 +38,5 @@
 #include <align.h>
 #include <macros.h>
-#include <print.h>
+#include <stdio.h>
 
 memmap_t memmap;
Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/ppc32/src/ppc32.c	(revision ad2cf042bea2029414bd5597a2ce547b208ff957)
@@ -57,5 +57,4 @@
 #include <macros.h>
 #include <str.h>
-#include <print.h>
 
 #define IRQ_COUNT  64