Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision 6ab8697dc506650b8712d1dc5e817cc473bf170a)
+++ kernel/generic/src/printf/printf_core.c	(revision 8023571f81bf7a87989e87a43bc8f901ed55329a)
@@ -41,5 +41,5 @@
 #include <stdarg.h>
 #include <macros.h>
-#include <string.h>
+#include <str.h>
 #include <arch.h>
 
Index: kernel/generic/src/printf/vprintf.c
===================================================================
--- kernel/generic/src/printf/vprintf.c	(revision 6ab8697dc506650b8712d1dc5e817cc473bf170a)
+++ kernel/generic/src/printf/vprintf.c	(revision 8023571f81bf7a87989e87a43bc8f901ed55329a)
@@ -40,5 +40,5 @@
 #include <arch/types.h>
 #include <typedefs.h>
-#include <string.h>
+#include <str.h>
 
 SPINLOCK_STATIC_INITIALIZE_NAME(printf_lock, "*printf_lock");
Index: kernel/generic/src/printf/vsnprintf.c
===================================================================
--- kernel/generic/src/printf/vsnprintf.c	(revision 6ab8697dc506650b8712d1dc5e817cc473bf170a)
+++ kernel/generic/src/printf/vsnprintf.c	(revision 8023571f81bf7a87989e87a43bc8f901ed55329a)
@@ -35,5 +35,5 @@
 #include <print.h>
 #include <printf/printf_core.h>
-#include <string.h>
+#include <str.h>
 #include <memstr.h>
 #include <errno.h>