Index: kernel/arch/mips32/Makefile.inc
===================================================================
--- kernel/arch/mips32/Makefile.inc	(revision 2b95d13f98bfcaac3a7fb025f44c611b5d228c08)
+++ kernel/arch/mips32/Makefile.inc	(revision 606f6a1a04e72a23a153aa5c16118128fcb728f0)
@@ -77,8 +77,5 @@
 endif
 
-ifeq ($(MACHINE),lmalta)
-        ARCH_SOURCES += arch/$(KARCH)/src/mach/malta/malta.c
-endif
-ifeq ($(MACHINE),bmalta)
+ifeq ($(MACHINE),$(filter lmalta bmalta,$(MACHINE)))
         ARCH_SOURCES += arch/$(KARCH)/src/mach/malta/malta.c
 endif