diff --git a/build/kernel/config-7.1-x86_64 b/build/kernel/config-7.1-x86_64
index a5618c3..820ce67 100644
--- a/build/kernel/config-7.1-x86_64
+++ b/build/kernel/config-7.1-x86_64
@@ -1968,8 +1968,7 @@ CONFIG_NET_CORE=y
 # CONFIG_NET_TEAM is not set
 CONFIG_MACVLAN=y
 # CONFIG_MACVTAP is not set
-CONFIG_IPVLAN_L3S=y
-CONFIG_IPVLAN=y
+# CONFIG_IPVLAN is not set
 # CONFIG_IPVTAP is not set
 CONFIG_VXLAN=y
 # CONFIG_GENEVE is not set
@@ -2189,7 +2188,7 @@ CONFIG_INPUT_EVDEV=y
 # Input Device Drivers
 #
 CONFIG_INPUT_KEYBOARD=y
-CONFIG_KEYBOARD_ATKBD=y
+# CONFIG_KEYBOARD_ATKBD is not set
 # CONFIG_KEYBOARD_LKKBD is not set
 # CONFIG_KEYBOARD_NEWTON is not set
 # CONFIG_KEYBOARD_OPENCORES is not set
@@ -2208,7 +2207,7 @@ CONFIG_KEYBOARD_ATKBD=y
 #
 CONFIG_SERIO=y
 CONFIG_ARCH_MIGHT_HAVE_PC_SERIO=y
-CONFIG_SERIO_I8042=y
+# CONFIG_SERIO_I8042 is not set
 CONFIG_SERIO_SERPORT=y
 # CONFIG_SERIO_CT82C710 is not set
 # CONFIG_SERIO_PCIPS2 is not set
@@ -2814,7 +2813,7 @@ CONFIG_VHOST_IOTLB=y
 CONFIG_VHOST_TASK=y
 CONFIG_VHOST=y
 CONFIG_VHOST_MENU=y
-CONFIG_VHOST_NET=y
+# CONFIG_VHOST_NET is not set
 CONFIG_VHOST_VSOCK=y
 # CONFIG_VHOST_CROSS_ENDIAN_LEGACY is not set
 CONFIG_VHOST_ENABLE_FORK_OWNER_CONTROL=y