Index: kernel/arch/mips32/Makefile.inc
===================================================================
--- kernel/arch/mips32/Makefile.inc	(revision 52d30c45bd8c0361dfebda500f106036efcd7686)
+++ kernel/arch/mips32/Makefile.inc	(revision 3ee8a07528aa466b40a362672714a05e936d396e)
@@ -74,5 +74,5 @@
 	BFD_NAME = elf32-tradlittlemips
 	BFD = binary
-	CFLAGS += -DFB_INVERT_ENDIAN -DARCH_HAS_FPU -mips3
+	GCC_CFLAGS += -DFB_INVERT_ENDIAN -DARCH_HAS_FPU -mips3
 endif
 ifeq ($(MACHINE),bgxemul)