Index: boot/arch/arm32/Makefile.inc
===================================================================
--- boot/arch/arm32/Makefile.inc	(revision c7afcba76e708cf38d10579d974d0c53a673c609)
+++ boot/arch/arm32/Makefile.inc	(revision d76de0e4f476635e3013bb6e2d85020a55438ca3)
@@ -39,4 +39,5 @@
 BITS = 32
 ENDIANESS = LE
+EXTRA_CFLAGS = -march=armv4
 
 RD_SRVS_ESSENTIAL += \