CONFIG_LOCALVERSION="jakllsch"
CONFIG_USE_OPTION_TABLE=y
CONFIG_COLLECT_TIMESTAMPS=y
CONFIG_USE_BLOBS=y
CONFIG_VENDOR_MSI=y
CONFIG_MAINBOARD_SERIAL_NUMBER="0000000000"
CONFIG_CK804_PCIE_PME_WAKE=y
CONFIG_BOARD_MSI_MS7135=y
CONFIG_MAINBOARD_VERSION="0.0"
# CONFIG_VGA_ROM_RUN is not set
# CONFIG_ON_DEVICE_ROM_RUN is not set
CONFIG_POST_DEVICE_LPC=y
CONFIG_PAYLOAD_ELF=y
CONFIG_PAYLOAD_FILE="bios.bin.elf"
CONFIG_DEBUG_PIRQ=y