Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 5328d63da5f51a7277b6e04510a64c7f849090df)
+++ 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