Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 719a208dbe29f92f5690472a3500c890db8f3f1f)
+++ kernel/generic/src/main/kinit.c	(revision d735e2e934b8d024cd14b4f088821f9d2649e913)
@@ -60,5 +60,5 @@
 #include <print.h>
 #include <log.h>
-#include <memstr.h>
+#include <mem.h>
 #include <console/console.h>
 #include <interrupt.h>