Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
+++ kernel/arch/arm32/Makefile.inc	(revision 4a8635b414c360bd57bb45bd9718cbff2211cad1)
@@ -37,5 +37,5 @@
 TOOLCHAIN_DIR = /usr/local/arm
 
-CFLAGS += 
+GCC_CFLAGS += 
 
 DEFS += -D__32_BITS__ -DMACHINE=$(MACHINE)