Index: boot/arch/mips32/loader/asm.h
===================================================================
--- boot/arch/mips32/loader/asm.h	(revision 2a18193cff1ab235b82cb6c1fd4897417beec7c3)
+++ boot/arch/mips32/loader/asm.h	(revision 90c8b8debd741b2a29ed7955b99cd5ea34956065)
@@ -33,6 +33,4 @@
 #define PAGE_WIDTH  14
 
-#define memcpy(dst, src, cnt)  __builtin_memcpy((dst), (src), (cnt))
-
 void jump_to_kernel(void *entry, void *bootinfo) __attribute__((noreturn));
 
Index: boot/arch/mips32/loader/main.c
===================================================================
--- boot/arch/mips32/loader/main.c	(revision 2a18193cff1ab235b82cb6c1fd4897417beec7c3)
+++ boot/arch/mips32/loader/main.c	(revision 90c8b8debd741b2a29ed7955b99cd5ea34956065)
@@ -27,9 +27,10 @@
  */
 
-#include "main.h" 
+#include "main.h"
 #include <printf.h>
 #include <align.h>
 #include <macros.h>
 #include <string.h>
+#include <memstr.h>
 #include "msim.h"
 #include "asm.h"