CONFIG_COREBOOT=y
CONFIG_ATA_DMA=y
# CONFIG_FLOPPY is not set
# CONFIG_LPT is not set
# CONFIG_TCGBIOS is not set
CONFIG_VGA_COREBOOT=y
CONFIG_DEBUG_LEVEL=8
