CONFIG_ANY_TOOLCHAIN=y CONFIG_USE_OPTION_TABLE=y CONFIG_VENDOR_GIGABYTE=y CONFIG_VGA_BIOS=y CONFIG_VGA_BIOS_FILE="/root/dev/coreboot/vgabios_intel_elk_2085.rom" CONFIG_PAYLOAD_CONFIGFILE="/root/dev/coreboot/.seabiosconfig" CONFIG_BOARD_GIGABYTE_GA_G41M_ES2L=y CONFIG_DRIVERS_PS2_KEYBOARD=y CONFIG_CONSOLE_POST=y CONFIG_POWER_STATE_PREVIOUS_AFTER_FAILURE=y CONFIG_PCIEXP_COMMON_CLOCK=y CONFIG_VGA_ROM_RUN=y CONFIG_CONSOLE_SPI_FLASH=y CONFIG_CONSOLE_SPI_FLASH_BUFFER_SIZE=0x40000 CONFIG_MEMTEST_SECONDARY_PAYLOAD=y CONFIG_MEMTEST_MASTER=y