diff --git a/configs/config.dell_optiplex_9010_sff b/configs/config.dell_optiplex_9010_sff
index fc36cee5c3d..6910ba29b61 100644
--- a/configs/config.dell_optiplex_9010_sff
+++ b/configs/config.dell_optiplex_9010_sff
@@ -1,4 +1,5 @@
 CONFIG_LOCALVERSION="v0.1.0-rc3"
+CONFIG_OPTION_BACKEND_NONE=y
 CONFIG_VENDOR_DELL=y
 CONFIG_ONBOARD_VGA_IS_PRIMARY=y
 CONFIG_SEABIOS_PS2_TIMEOUT=3000
diff --git a/configs/config.dell_optiplex_9010_sff_txt b/configs/config.dell_optiplex_9010_sff_txt
index 61940258ee4..66e32ab926d 100644
--- a/configs/config.dell_optiplex_9010_sff_txt
+++ b/configs/config.dell_optiplex_9010_sff_txt
@@ -1,4 +1,5 @@
 CONFIG_LOCALVERSION="v0.1.0-rc3"
+CONFIG_OPTION_BACKEND_NONE=y
 CONFIG_VENDOR_DELL=y
 CONFIG_ONBOARD_VGA_IS_PRIMARY=y
 CONFIG_SEABIOS_PS2_TIMEOUT=3000
@@ -12,14 +13,15 @@ CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_INTEL_TXT=y
 CONFIG_INTEL_TXT_BDR_VERSION=4
 CONFIG_INTEL_TXT_LOGGING=y
-CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y
-# CONFIG_CONSOLE_USE_LOGLEVEL_PREFIX is not set
-# CONFIG_CONSOLE_USE_ANSI_ESCAPES is not set
+CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
 CONFIG_SEABIOS_USB_SIGATT_TIME=3000
 CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y
-CONFIG_SEABIOS_DEBUG_LEVEL=0
 CONFIG_PXE=y
 CONFIG_BUILD_IPXE=y
 # CONFIG_IPXE_SERIAL_CONSOLE is not set
 CONFIG_IPXE_ADD_SCRIPT=y
 CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
+CONFIG_INTEL_TXT_BIOSACM_FILE="IVB_BIOSAC_PRODUCTION.BIN"
+CONFIG_INTEL_TXT_SINITACM_FILE="SNB_IVB_SINIT_20190708_PW.bin"
+CONFIG_SMSC_SCH5545_EC_FW_FILE="sch5545_ecfw.bin"
+CONFIG_INCLUDE_SMSC_SCH5545_EC_FW=y