diff --git a/config/kernel/linux-uefi-arm64-cloud.config b/config/kernel/linux-uefi-arm64-cloud.config
index d8de4c211..d86ea9acb 100644
--- a/config/kernel/linux-uefi-arm64-cloud.config
+++ b/config/kernel/linux-uefi-arm64-cloud.config
@@ -118,14 +118,7 @@ CONFIG_NETDEVICES=y
 CONFIG_NETCONSOLE=y
 
 # Ethernet Drivers
-CONFIG_TIGON3=y
-CONFIG_NET_TULIP=y
-CONFIG_E100=y
-CONFIG_E1000=y
 CONFIG_E1000E=y
-CONFIG_SKY2=y
-CONFIG_FORCEDETH=y
-CONFIG_8139TOO=y
 CONFIG_R8169=y
 
 # Wireless Networking
@@ -209,16 +202,16 @@ CONFIG_SECURITY_SELINUX_DISABLE=y
 CONFIG_AUDIT=y
 
 # Debugging Options
-CONFIG_PRINTK_TIME=y
+# CONFIG_PRINTK_TIME is not set
 # CONFIG_DEBUG_KERNEL is not set
 CONFIG_MAGIC_SYSRQ=y
 # CONFIG_SCHED_DEBUG is not set
-CONFIG_SCHEDSTATS=y
-CONFIG_BLK_DEV_IO_TRACE=y
+# CONFIG_SCHEDSTATS is not set
+# CONFIG_BLK_DEV_IO_TRACE is not set
 CONFIG_PROVIDE_OHCI1394_DMA_INIT=y
 CONFIG_EARLY_PRINTK_DBGP=y
-CONFIG_DEBUG_BOOT_PARAMS=y
-CONFIG_DEBUG_ENTRY=y
+# CONFIG_DEBUG_BOOT_PARAMS is not set
+# CONFIG_DEBUG_ENTRY is not set
 
 # Graphics
 CONFIG_DRM=y
diff --git a/config/kernel/linux-uefi-x86-cloud.config b/config/kernel/linux-uefi-x86-cloud.config
index ac68506b1..5fd36049d 100644
--- a/config/kernel/linux-uefi-x86-cloud.config
+++ b/config/kernel/linux-uefi-x86-cloud.config
@@ -123,14 +123,7 @@ CONFIG_NETDEVICES=y
 CONFIG_NETCONSOLE=y
 
 # Ethernet Drivers
-CONFIG_TIGON3=y
-CONFIG_NET_TULIP=y
-CONFIG_E100=y
-CONFIG_E1000=y
 CONFIG_E1000E=y
-CONFIG_SKY2=y
-CONFIG_FORCEDETH=y
-CONFIG_8139TOO=y
 CONFIG_R8169=y
 
 # Wireless Networking
@@ -214,16 +207,16 @@ CONFIG_SECURITY_SELINUX_DISABLE=y
 CONFIG_AUDIT=y
 
 # Debugging Options
-CONFIG_PRINTK_TIME=y
+# CONFIG_PRINTK_TIME is not set
 # CONFIG_DEBUG_KERNEL is not set
 CONFIG_MAGIC_SYSRQ=y
 # CONFIG_SCHED_DEBUG is not set
-CONFIG_SCHEDSTATS=y
-CONFIG_BLK_DEV_IO_TRACE=y
+# CONFIG_SCHEDSTATS is not set
+# CONFIG_BLK_DEV_IO_TRACE is not set
 CONFIG_PROVIDE_OHCI1394_DMA_INIT=y
 CONFIG_EARLY_PRINTK_DBGP=y
-CONFIG_DEBUG_BOOT_PARAMS=y
-CONFIG_DEBUG_ENTRY=y
+# CONFIG_DEBUG_BOOT_PARAMS is not set
+# CONFIG_DEBUG_ENTRY is not set
 
 # Graphics
 CONFIG_DRM=y