Index: kernel/arch/mips32/Makefile.inc
===================================================================
--- kernel/arch/mips32/Makefile.inc	(revision 606f6a1a04e72a23a153aa5c16118128fcb728f0)
+++ kernel/arch/mips32/Makefile.inc	(revision db71e2af5cdfe169de296e6f39b3e5eda7a966f6)
@@ -29,5 +29,5 @@
 BFD_ARCH = mips
 BFD = binary
-GCC_CFLAGS += -msoft-float -mno-abicalls -G 0 -fno-zero-initialized-in-bss -mips3 -mabi=32
+GCC_CFLAGS += -msoft-float -mno-abicalls -G 0 -fno-zero-initialized-in-bss -mabi=32
 
 BITS = 32
@@ -39,13 +39,15 @@
 	BFD_NAME = elf32-tradlittlemips
 	ENDIANESS = LE
+	GCC_CFLAGS += -march=r4000
 endif
 ifeq ($(MACHINE),bmalta)
 	BFD_NAME = elf32-tradbigmips
 	ENDIANESS = BE
-	GCC_CFLAGS += -D__BE__
+	GCC_CFLAGS += -D__BE__ -march=4kc
 endif
 ifeq ($(MACHINE),lmalta)
 	BFD_NAME = elf32-tradlittlemips
 	ENDIANESS = LE
+	GCC_CFLAGS += -march=4kc
 endif