Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision 81df0ce1a52271cd6aa1c12bf28a8cbc62bb4f61)
+++ kernel/generic/src/printf/printf_core.c	(revision 02fd705004996ffbc41a97f2ce2660ad1934d2ae)
@@ -41,5 +41,5 @@
 #include <arch/arg.h>
 #include <macros.h>
-#include <func.h>
+#include <string.h>
 #include <arch.h>