Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision a522999aad61600265fe2b376c2199fe82b465f9)
+++ kernel/arch/mips32/src/mips32.c	(revision ae7ba7b6b1b243221b549a7898014be1d36f36ab)
@@ -53,4 +53,5 @@
 #include <genarch/drivers/dsrln/dsrlnout.h>
 #include <genarch/srln/srln.h>
+#include <arch/machine_func.h>
 
 /* Size of the code jumping to the exception handler code
@@ -152,15 +153,8 @@
 void arch_post_smp_init(void)
 {
-	static const char *platform;
-
 	/* Set platform name. */
-#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,
-	    str_size(platform));
+	sysinfo_set_item_data("platform", NULL,
+	    (void *) machine_get_platform_name(),
+	    str_size(machine_get_platform_name()));
 
 #ifdef CONFIG_MSIM_KBD