Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 0eef3143969faec45ee815231ae23320d7dcbd88)
+++ kernel/arch/ia32/src/ia32.c	(revision eae4e8fa7dfec64f319138584d0480c91f7579ca)
@@ -68,4 +68,5 @@
 #include <sysinfo/sysinfo.h>
 #include <arch/boot/boot.h>
+#include <memstr.h>
 
 #ifdef CONFIG_SMP