Update configs to include the new EFI_CUSTOM_SSDT_OVERLAYS

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

diff --git a/4.9/x86-32-nonpae b/4.9/x86-32-nonpae
index 08841e3cfd47f8d6cae9351ff2d6a1e6435b16ff..ecb00af513a0920f0677a2cae15b4d605aae4e2c 100644 (file)
--- a/4.9/x86-32-nonpae
+++ b/4.9/x86-32-nonpae
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/i386 4.9.220-gnu Kernel Configuration
+# Linux/i386 4.9.230-gnu Kernel Configuration
 #
 # CONFIG_64BIT is not set
 CONFIG_X86_32=y
@@ -8075,6 +8075,7 @@ CONFIG_EFI_RUNTIME_WRAPPERS=y
 CONFIG_EFI_BOOTLOADER_CONTROL=m
 CONFIG_EFI_CAPSULE_LOADER=m
 CONFIG_EFI_TEST=m
+CONFIG_EFI_CUSTOM_SSDT_OVERLAYS=y
 CONFIG_UEFI_CPER=y
 
 #