Get mptable OEM/product ID from kconfig variables.
[coreboot.git] / src / mainboard / gigabyte / m57sli / mptable.c
index 135174d8d45fe7a1972ad1bc38c09588331ac9aa..28b2858413bd26cf414ee094eae99df015349c67 100644 (file)
@@ -39,7 +39,7 @@ static void *smp_write_config_table(void *v)
 
         mc = (void *)(((char *)v) + SMP_FLOATING_TABLE_LEN);
 
-       mptable_init(mc, "GA-M57SLI-S4", LAPIC_ADDR);
+       mptable_init(mc, LAPIC_ADDR);
 
         smp_write_processors(mc);