CONFIG_CCACHE=y
CONFIG_COLLECT_TIMESTAMPS=y
CONFIG_FLASHMAP_OFFSET=0x0
CONFIG_VENDOR_GETAC=y
# CONFIG_POST_IO is not set
# CONFIG_POST_DEVICE is not set
CONFIG_COREBOOT_ROMSIZE_KB_4096=y
# CONFIG_CONSOLE_SERIAL is not set
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x30000
CONFIG_SEABIOS_MASTER=y