@ -2990,6 +2990,12 @@ CONFIG_DMI_SYSFS=y
CONFIG_DMI_SCAN_MACHINE_NON_EFI_FALLBACK=y
# CONFIG_ISCSI_IBFT_FIND is not set
# CONFIG_GOOGLE_FIRMWARE is not set
CONFIG_COREBOOT_FIRMWARE=y
#
# Coreboot Firmware Drivers
CONFIG_COREBOOT_MEMCONSOLE=m
# File systems