CONFIG_X86=y
CONFIG_SYS_TEXT_BASE=0x1120000
-CONFIG_ENV_SIZE=0x1000
CONFIG_NR_DRAM_BANKS=8
-CONFIG_PRE_CON_BUF_ADDR=0x100000
+CONFIG_ENV_SIZE=0x1000
CONFIG_SPL_TEXT_BASE=0x1110000
+CONFIG_PRE_CON_BUF_ADDR=0x100000
+CONFIG_DEFAULT_DEVICE_TREE="coreboot"
CONFIG_X86_RUN_64BIT=y
CONFIG_VENDOR_COREBOOT=y
CONFIG_TARGET_COREBOOT=y
CONFIG_ISO_PARTITION=y
CONFIG_EFI_PARTITION=y
# CONFIG_SPL_EFI_PARTITION is not set
-CONFIG_DEFAULT_DEVICE_TREE="coreboot"
+CONFIG_ENV_OVERWRITE=y
CONFIG_SYS_RELOC_GD_ENV_ADDR=y
CONFIG_REGMAP=y
CONFIG_SYSCON=y
CONFIG_SOUND=y
CONFIG_SOUND_I8254=y
CONFIG_CONSOLE_SCROLL_LINES=5
+# CONFIG_GZIP is not set