Index: boot/arch/mips32/src/main.c
===================================================================
--- boot/arch/mips32/src/main.c	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ boot/arch/mips32/src/main.c	(revision fdfb24eeffcfac57ce3048026b204ef70bf13003)
@@ -33,5 +33,5 @@
 #include <halt.h>
 #include <printf.h>
-#include <memstr.h>
+#include <mem.h>
 #include <version.h>
 #include <macros.h>