Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
+++ kernel/arch/ppc32/src/ppc32.c	(revision a6e55886e5b1f65fd811c2f746803ba53f061518)
@@ -57,5 +57,4 @@
 #include <macros.h>
 #include <str.h>
-#include <print.h>
 
 #define IRQ_COUNT  64