Index: uspace/lib/c/arch/mips32eb/Makefile.common
===================================================================
--- uspace/lib/c/arch/mips32eb/Makefile.common	(revision d6cd626db59cf8f2784e8800dfdb1dd6e8d2e5ca)
+++ uspace/lib/c/arch/mips32eb/Makefile.common	(revision db71e2af5cdfe169de296e6f39b3e5eda7a966f6)
@@ -27,5 +27,5 @@
 #
 
-GCC_CFLAGS += -msoft-float -mips3 -mabi=32
+GCC_CFLAGS += -msoft-float -mabi=32
 BASE_LIBS += $(LIBSOFTFLOAT_PREFIX)/libsoftfloat.a
 
@@ -34,2 +34,7 @@
 BFD_ARCH = mips
 BFD_NAME = elf32-tradbigmips
+
+ifeq ($(MACHINE),bmalta)
+	GCC_CFLAGS += -march=4kc
+endif
+