Get mptable OEM/product ID from kconfig variables.
[coreboot.git] / src / mainboard / intel / xe7501devkit / mptable.c
index 9213a2389e71921d31240d3da5c723178968edc8..acd762194d2efeb74e74d94c384893dcdc37f902 100644 (file)
@@ -123,7 +123,7 @@ static void *smp_write_config_table(void* v)
 
        mc = (void *)(((char *)v) + SMP_FLOATING_TABLE_LEN);
 
-       mptable_init(mc, "XE7501DEVKIT", LAPIC_ADDR);
+       mptable_init(mc, LAPIC_ADDR);
 
        smp_write_processors(mc);