Remove duplicate line from pci_ids.h.
[coreboot.git] / src / Kconfig
index 00c5591d00b6eefc796e0c4df2b3c5a91278879d..690a1d486401216e5221cc36a32ec74fb0716182 100644 (file)
@@ -720,6 +720,10 @@ config AP_CODE_IN_CAR
        bool
        default n
 
+config RAMINIT_SYSINFO
+       bool
+       default n
+
 config ENABLE_APIC_EXT_ID
        bool
        default n