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