Get mptable OEM/product ID from kconfig variables.
[coreboot.git] / src / mainboard / gigabyte / ga_2761gxdk / mptable.c
index 9c3f34121b7551fcb03b36511473fce88c8a4d50..c38d7f6e064930f456c17dded3448a3b1158bc97 100644 (file)
@@ -40,7 +40,7 @@ static void *smp_write_config_table(void *v)
 
         mc = (void *)(((char *)v) + SMP_FLOATING_TABLE_LEN);
 
-       mptable_init(mc, "GA-2761GXDK ", LAPIC_ADDR);
+       mptable_init(mc, LAPIC_ADDR);
 
         smp_write_processors(mc);