Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 8cf482327e958c7a4c8e0c00e22a810941f375bd)
+++ kernel/arch/arm32/Makefile.inc	(revision 7aa6b99d7bd8a569a8bc3394901a26702aa2a5a9)
@@ -33,5 +33,5 @@
 ATSIGN = %
 
-GCC_CFLAGS += -march=armv4
+GCC_CFLAGS += -march=armv4 -fno-omit-frame-pointer -mapcs-frame
 
 BITS = 32