Index: kernel/arch/mips32/Makefile.inc
===================================================================
--- kernel/arch/mips32/Makefile.inc	(revision 346b12a2767bb66df8633e469fd871fea8c43b5c)
+++ kernel/arch/mips32/Makefile.inc	(revision 67cda763b97ac035936a3bda2c1651d85957e1c4)
@@ -30,4 +30,5 @@
 BFD = binary
 GCC_CFLAGS += -msoft-float -mno-abicalls -G 0 -fno-zero-initialized-in-bss -mabi=32
+AS_PROLOG = ".module softfloat;"
 
 BITS = 32