Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 4ceef572d14ceb369232a90b8684a903c15b3038)
+++ kernel/arch/arm32/Makefile.inc	(revision d76de0e4f476635e3013bb6e2d85020a55438ca3)
@@ -33,5 +33,5 @@
 ATSIGN = %
 
-GCC_CFLAGS += -fno-zero-initialized-in-bss -mapcs-frame
+GCC_CFLAGS += -march=armv4
 
 BITS = 32