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