Remove duplicate line from pci_ids.h.
[coreboot.git] / src / mainboard / hp / dl165_g6_fam10 / Kconfig
index 6e045b33da9c28a430fa88dc58bbd9a707c3e350..655613c4daa6660af598d5fb79994e9e6e8631d5 100644 (file)
@@ -19,6 +19,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