Index: kernel/arch/mips32/Makefile.inc
===================================================================
--- kernel/arch/mips32/Makefile.inc	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
+++ kernel/arch/mips32/Makefile.inc	(revision 78188e5873f47aad1ea0bb8b9e68b6f694b89dc4)
@@ -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