Update configs for 4.18.20/4.19.13/4.20.0 due to the new toolchain

[kernel-configs.git] / 4.9 / x86-32-pae

diff --git a/4.9/x86-32-pae b/4.9/x86-32-pae
index 6f5e6d06b6fa91fda85722ef5675750e4e3ed6d4..a7129ecb3fddc89f6adb9fa2350956bb2e38d842 100644 (file)
--- a/4.9/x86-32-pae
+++ b/4.9/x86-32-pae
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.9.77-gnu Kernel Configuration
+# Linux/i386 4.9.141-gnu Kernel Configuration
 #
 # CONFIG_64BIT is not set
 CONFIG_X86_32=y
@@ -237,6 +237,7 @@ CONFIG_SYSTEM_DATA_VERIFICATION=y
 CONFIG_PROFILING=y
 CONFIG_TRACEPOINTS=y
 CONFIG_KEXEC_CORE=y
+CONFIG_HOTPLUG_SMT=y
 CONFIG_OPROFILE=m
 # CONFIG_OPROFILE_EVENT_MULTIPLEX is not set
 CONFIG_HAVE_OPROFILE=y