diff --git a/build.sh b/build.sh
index ce7191d4e43..e7516e9e0e2 100755
--- a/build.sh
+++ b/build.sh
@@ -29,8 +29,8 @@ SDKVER="2023-11-24_2731fa619b"
 
 
 function build_optiplex_9010 {
-  DEFCONFIG="configs/config.dell_optiplex_9010_sff_uefi_txt"
-  FW_VERSION=v0.1.0-rc1
+  DEFCONFIG="configs/config.dell_optiplex_9010_sff_txt"
+  FW_VERSION=v0.1.0-rc1_seabios
 
   docker run --rm -t -u $UID -v $PWD:/home/coreboot/coreboot \
     -v $HOME/.ssh:/home/coreboot/.ssh \
diff --git a/configs/config.dell_optiplex_9010_sff b/configs/config.dell_optiplex_9010_sff
index 4f39b4206dc..a3a649287fe 100644
--- a/configs/config.dell_optiplex_9010_sff
+++ b/configs/config.dell_optiplex_9010_sff
@@ -1,11 +1,17 @@
+CONFIG_LOCALVERSION="v0.1.0"
 CONFIG_USE_OPTION_TABLE=y
-CONFIG_USE_BLOBS=y
 CONFIG_VENDOR_DELL=y
-CONFIG_BOARD_DELL_OPTIPLEX_9010=y
+CONFIG_FMDFILE="src/mainboard/dell/snb_ivb_workstations/default.fmd"
 CONFIG_ONBOARD_VGA_IS_PRIMARY=y
-# CONFIG_DRIVERS_UART_8250IO is not set
+CONFIG_BOARD_DELL_OPTIPLEX_9010=y
+CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_PCIEXP_CLK_PM=y
+CONFIG_TPM_MEASURED_BOOT=y
+CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y
+# CONFIG_CONSOLE_USE_LOGLEVEL_PREFIX is not set
+# CONFIG_CONSOLE_USE_ANSI_ESCAPES is not set
+# CONFIG_RESOURCE_ALLOCATION_TOP_DOWN is not set
 CONFIG_SEABIOS_USB_SIGATT_TIME=3000
+CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y
 CONFIG_SEABIOS_PS2_TIMEOUT=3000
-CONFIG_POST_DEVICE_LPC=y
-CONFIG_HAVE_EM100_SUPPORT=y
+CONFIG_SEABIOS_DEBUG_LEVEL=0
diff --git a/configs/config.dell_optiplex_9010_sff_txt b/configs/config.dell_optiplex_9010_sff_txt
index 0672cd85964..cbbf74fa0cc 100644
--- a/configs/config.dell_optiplex_9010_sff_txt
+++ b/configs/config.dell_optiplex_9010_sff_txt
@@ -1,13 +1,20 @@
+CONFIG_LOCALVERSION="v0.1.0"
+CONFIG_USE_OPTION_TABLE=y
 CONFIG_VENDOR_DELL=y
-CONFIG_CBFS_SIZE=0x400000
+CONFIG_FMDFILE="src/mainboard/dell/snb_ivb_workstations/default.fmd"
 CONFIG_ONBOARD_VGA_IS_PRIMARY=y
-CONFIG_SEABIOS_PS2_TIMEOUT=3000
 CONFIG_BOARD_DELL_OPTIPLEX_9010=y
+CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_PCIEXP_CLK_PM=y
 CONFIG_TPM_MEASURED_BOOT=y
-CONFIG_HIDE_MEI_ON_ERROR=y
+CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y
+# CONFIG_CONSOLE_USE_LOGLEVEL_PREFIX is not set
+# CONFIG_CONSOLE_USE_ANSI_ESCAPES is not set
+# CONFIG_RESOURCE_ALLOCATION_TOP_DOWN is not set
 CONFIG_INTEL_TXT=y
+CONFIG_INTEL_TXT_LOGGING=y
 CONFIG_INTEL_TXT_BDR_VERSION=4
-CONFIG_POST_DEVICE_LPC=y
 CONFIG_SEABIOS_USB_SIGATT_TIME=3000
 CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y
+CONFIG_SEABIOS_PS2_TIMEOUT=3000
+CONFIG_SEABIOS_DEBUG_LEVEL=0