Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 3a2f8aa1cef1886a9586c9987617553007802c3f)
+++ kernel/arch/ppc32/src/ppc32.c	(revision 36a75a2ebea94aea971bd83a0590dd676373a253)
@@ -53,5 +53,5 @@
 #include <align.h>
 #include <macros.h>
-#include <string.h>
+#include <str.h>
 #include <print.h>