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