Get mptable OEM/product ID from kconfig variables.
[coreboot.git] / src / mainboard / dell / s1850 / mptable.c
index 5ce0a3d5740035de2a92ffe59cd9b79cf3dad531..11a4a61b1798daa85b9bb44326ca6cf895a1f068 100644 (file)
@@ -17,7 +17,7 @@ static void *smp_write_config_table(void *v)
 
        mc = (void *)(((char *)v) + SMP_FLOATING_TABLE_LEN);
 
-       mptable_init(mc, "S1850       ", LAPIC_ADDR);
+       mptable_init(mc, LAPIC_ADDR);
 
        smp_write_processors(mc);