Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision c1f7f6eaa570166428a8687a4e9c7cd839cd666d)
+++ kernel/generic/src/console/cmd.c	(revision f24d300581dcff87298e80ad8a95d552d34abead)
@@ -51,4 +51,5 @@
 #include <config.h>
 #include <func.h>
+#include <string.h>
 #include <macros.h>
 #include <debug.h>
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision c1f7f6eaa570166428a8687a4e9c7cd839cd666d)
+++ kernel/generic/src/console/kconsole.c	(revision f24d300581dcff87298e80ad8a95d552d34abead)
@@ -50,4 +50,5 @@
 #include <debug.h>
 #include <func.h>
+#include <string.h>
 #include <symtab.h>
 #include <macros.h>