Index: boot/arch/mips32/Makefile.inc
===================================================================
--- boot/arch/mips32/Makefile.inc	(revision faf9752e2403e858387e30667e3c013c8a0d23cb)
+++ boot/arch/mips32/Makefile.inc	(revision 0feaae499ef0f72ed8da9eb641f673fab5cbaf7d)
@@ -30,5 +30,5 @@
 BITS = 32
 PAGE_SIZE = 16384
-EXTRA_CFLAGS = -mno-abicalls -G 0 -fno-zero-initialized-in-bss -mips3
+EXTRA_CFLAGS = -mno-abicalls -G 0 -fno-zero-initialized-in-bss -mips3 -mabi=32
 
 RD_SRVS_NON_ESSENTIAL += \