Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision a000878c0dee83a08f032207ffd800c201fca95b)
+++ kernel/generic/src/main/kinit.c	(revision 672b22e998fe4b44c45775aa265ee54ebdcc43dc)
@@ -66,5 +66,5 @@
 #include <ipc/ipc.h>
 #include <debug.h>
-#include <string.h>
+#include <str.h>
 
 #ifdef CONFIG_SMP