const char *get_system_type(void)
 {
-       switch (mips_machtype) {
-       case MACH_NEC_MARKEINS:
-               return "NEC EMMA2RH Mark-eins";
-       default:
-               return "Unknown NEC board";
-       }
+#if defined(CONFIG_MARKEINS)
+       return "NEC EMMA2RH Mark-eins";
+#else
+#error  Unknown NEC board
+#endif
 }
 
 /* [jsun@junsun.net] PMON passes arguments in C main() style */
        }
 
 #if defined(CONFIG_MARKEINS)
-       mips_machtype = MACH_NEC_MARKEINS;
        add_memory_region(0, EMMA2RH_RAM_SIZE, BOOT_MEM_RAM);
+#else
+#error  Unknown NEC board
 #endif
-
 }
 
 void __init prom_free_prom_memory(void)
 
 #define  MACH_LASAT_100                0       /* Masquerade II/SP100/SP50/SP25 */
 #define  MACH_LASAT_200                1       /* Masquerade PRO/SP200 */
 
-/*
- * Valid machtype for group NEC EMMA2RH
- */
-#define  MACH_NEC_MARKEINS     0       /* NEC EMMA2RH Mark-eins        */
-
 /*
  * Valid machtype for group PMC-MSP
  */