Update configs

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

diff --git a/4.9/x86-32-pae b/4.9/x86-32-pae
index d96c3401a34aa49c3c45287d5f37ace5919d8672..991188a3c8d9b281d4d5238ecb283dfc029d5cb9 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/i386 4.9.309-gnu1 Kernel Configuration
+# Linux/i386 4.9.312-gnu1 Kernel Configuration
 #
 # CONFIG_64BIT is not set
 CONFIG_X86_32=y
@@ -2821,7 +2821,6 @@ CONFIG_MLXSW_SPECTRUM_DCB=y
 CONFIG_NET_VENDOR_MICREL=y
 CONFIG_KS8842=m
 CONFIG_KS8851=m
-CONFIG_KS8851_MLL=m
 CONFIG_KSZ884X_PCI=m
 CONFIG_NET_VENDOR_MICROCHIP=y
 CONFIG_ENC28J60=m