Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision bcad855c010b3c34d90af0e20b0fb4bbff0f638c)
+++ kernel/arch/mips32/src/mips32.c	(revision 3f69f63de2e129489498b2d6e5aab1cc110a9429)
@@ -153,6 +153,9 @@
 
 	/* Set platform name. */
-#ifdef MACHINE_msim
+#if defined(MACHINE_msim)
 	platform = "msim";
+#endif
+#if defined(MACHINE_lmalta) || defined(MACHINE_bmalta)
+	platform = "malta";
 #endif
 	sysinfo_set_item_data("platform", NULL, (void *) platform,