Remove duplicate line from pci_ids.h.
[coreboot.git] / src / mainboard / msi / ms9185 / Kconfig
index 14ee217d895d6d68b93e73982ce15d8dcfc93a8d..3e4ffedd8ca5652df097b371f7b67e9fbc94a0b8 100644 (file)
@@ -19,6 +19,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select HAVE_HARD_RESET
        select LIFT_BSP_APIC_ID
        select BOARD_ROMSIZE_KB_512
+       select RAMINIT_SYSINFO
        select SB_HT_CHAIN_UNITID_OFFSET_ONLY
 
 config MAINBOARD_DIR