Index: kernel/generic/src/printf/vsnprintf.c
===================================================================
--- kernel/generic/src/printf/vsnprintf.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
+++ kernel/generic/src/printf/vsnprintf.c	(revision fb864d653f08c9c94bf26673eb5d1efd0c3e6f25)
@@ -36,5 +36,5 @@
 #include <printf/printf_core.h>
 #include <str.h>
-#include <memstr.h>
+#include <mem.h>
 #include <errno.h>