3 files changed, 3 insertions, 3 deletions
diff --git a/resources/libreboot/config/seabios/kcma-d8/config b/resources/libreboot/config/seabios/kcma-d8/config
index 86288554..ce3d8776 100644
--- a/resources/libreboot/config/seabios/kcma-d8/config
+++ b/resources/libreboot/config/seabios/kcma-d8/config
@@ -16,7 +16,7 @@ CONFIG_COMPILER_GCC=y
 # CONFIG_FMD_GENPARSER is not set
 # CONFIG_SCONFIG_GENPARSER is not set
 CONFIG_USE_OPTION_TABLE=y
-# CONFIG_STATIC_OPTION_TABLE is not set
+CONFIG_STATIC_OPTION_TABLE=y
 # CONFIG_UNCOMPRESSED_RAMSTAGE is not set
 CONFIG_COMPRESS_RAMSTAGE=y
 CONFIG_INCLUDE_CONFIG_FILE=y
diff --git a/resources/libreboot/config/seabios/kfsn4-dre/config b/resources/libreboot/config/seabios/kfsn4-dre/config
index 35585c59..4cc178bc 100644
--- a/resources/libreboot/config/seabios/kfsn4-dre/config
+++ b/resources/libreboot/config/seabios/kfsn4-dre/config
@@ -16,7 +16,7 @@ CONFIG_COMPILER_GCC=y
 # CONFIG_FMD_GENPARSER is not set
 # CONFIG_SCONFIG_GENPARSER is not set
 CONFIG_USE_OPTION_TABLE=y
-# CONFIG_STATIC_OPTION_TABLE is not set
+CONFIG_STATIC_OPTION_TABLE=y
 # CONFIG_UNCOMPRESSED_RAMSTAGE is not set
 CONFIG_COMPRESS_RAMSTAGE=y
 CONFIG_INCLUDE_CONFIG_FILE=y
diff --git a/resources/libreboot/config/seabios/kgpe-d16/config b/resources/libreboot/config/seabios/kgpe-d16/config
index 3e17222e..eabe2b41 100644
--- a/resources/libreboot/config/seabios/kgpe-d16/config
+++ b/resources/libreboot/config/seabios/kgpe-d16/config
@@ -16,7 +16,7 @@ CONFIG_COMPILER_GCC=y
 # CONFIG_FMD_GENPARSER is not set
 # CONFIG_SCONFIG_GENPARSER is not set
 CONFIG_USE_OPTION_TABLE=y
-# CONFIG_STATIC_OPTION_TABLE is not set
+CONFIG_STATIC_OPTION_TABLE=y
 # CONFIG_UNCOMPRESSED_RAMSTAGE is not set
 CONFIG_COMPRESS_RAMSTAGE=y
 CONFIG_INCLUDE_CONFIG_FILE=y