CONFIG_VENDOR_LENOVO=y
CONFIG_CBFS_SIZE=0x400000
CONFIG_SEABIOS_PS2_TIMEOUT=5000
CONFIG_HAVE_IFD_BIN=y
CONFIG_BOARD_LENOVO_X230=y
CONFIG_ALWAYS_ALLOW_ABOVE_4G_ALLOCATION=y
# CONFIG_H8_BEEP_ON_DEATH is not set
CONFIG_H8_SUPPORT_BT_ON_WIFI=y
CONFIG_HAVE_ME_BIN=y
CONFIG_USE_ME_CLEANER=y
CONFIG_HAVE_GBE_BIN=y
CONFIG_BOOTBLOCK_NORMAL=y
CONFIG_PCIEXP_SUPPORT_RESIZABLE_BARS=y
CONFIG_PCIEXP_HOTPLUG_IO=0x2000
# CONFIG_RESOURCE_ALLOCATION_TOP_DOWN is not set
CONFIG_DRIVERS_OPTION_CFR=y
CONFIG_PAYLOAD_SEAGRUB=y
CONFIG_GRUB2_REVISION=y
CONFIG_GRUB2_REVISION_ID="grub-2.14"
CONFIG_GRUB2_EXTRA_MODULES="regexp ahci part_msdos part_gpt usbserial_ftdi usbserial_pl2303"
CONFIG_SEAGRUB_ALLOW_SEABIOS_BOOTMENU=y
CONFIG_SEABIOS_REVISION=y
CONFIG_SEABIOS_REVISION_ID="rel-1.17.0"
# CONFIG_SEABIOS_VGA_COREBOOT is not set
CONFIG_COREINFO_SECONDARY_PAYLOAD=y
CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y
