Remove duplicate line from pci_ids.h.
[coreboot.git] / src / mainboard / tyan / s2912_fam10 / Kconfig
index 55708f5a8d50964cdbc7fbcd0e28f53de03a229a..67751d6a5b364da571e2e8eb0356d6bf7c02496b 100644 (file)
@@ -18,6 +18,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select HAVE_HARD_RESET
        select LIFT_BSP_APIC_ID
        select BOARD_ROMSIZE_KB_1024
+       select RAMINIT_SYSINFO
        select ENABLE_APIC_EXT_ID
        select AMDMCT
        select TINY_BOOTBLOCK