CONFIG_COREBOOT_ROMSIZE_KB_8192=y
CONFIG_PAYLOAD_TIANOCORE=y
