Index: boot/arch/arm32/loader/asm.h
===================================================================
--- boot/arch/arm32/loader/asm.h	(revision 646b9960f45edec2b83f4adb3bc5a501c2b28e9b)
+++ boot/arch/arm32/loader/asm.h	(revision cd688d9d407ba17ea6df2aeaa333efe0c6c756d1)
@@ -40,13 +40,4 @@
 
 
-/** Copies cnt bytes from dst to src.
- *
- * @param dst Destination address.
- * @param src Source address.
- * @param cnt Count of bytes to be copied.
- */
-#define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt))
-
-
 /** Called when the CPU is switched on.
  *
Index: boot/arch/arm32/loader/main.c
===================================================================
--- boot/arch/arm32/loader/main.c	(revision 646b9960f45edec2b83f4adb3bc5a501c2b28e9b)
+++ boot/arch/arm32/loader/main.c	(revision cd688d9d407ba17ea6df2aeaa333efe0c6c756d1)
@@ -43,4 +43,5 @@
 #include <macros.h>
 #include <string.h>
+#include <memstr.h>
 
 #include "mm.h"