Get mptable OEM/product ID from kconfig variables.
[coreboot.git] / src / mainboard / tyan / s4880 / mptable.c
index 9d14c5021cf9d9c9a19fe6f2dca126bc5222375d..5f59c7a0ee02310d0c8217c31ff8e91d259b22ac 100644 (file)
@@ -57,7 +57,7 @@ static void *smp_write_config_table(void *v)
 
         mc = (void *)(((char *)v) + SMP_FLOATING_TABLE_LEN);
 
-       mptable_init(mc, "S4880       ", LAPIC_ADDR);
+       mptable_init(mc, LAPIC_ADDR);
 
         smp_write_processors(mc);