diff --git a/tool/builddir/etc/build.conf.drivers_arm b/tool/builddir/etc/build.conf.drivers_arm
index 940e0e058..8b1378917 100644
--- a/tool/builddir/etc/build.conf.drivers_arm
+++ b/tool/builddir/etc/build.conf.drivers_arm
@@ -1,5 +1 @@
 
-#
-# Drivers ported from the Linux kernel (USB)
-#
-#REPOSITORIES += $(GENODE_DIR)/dde_linux
diff --git a/tool/builddir/etc/build.conf.drivers_x86 b/tool/builddir/etc/build.conf.drivers_x86
index e0db3ef83..60603882c 100644
--- a/tool/builddir/etc/build.conf.drivers_x86
+++ b/tool/builddir/etc/build.conf.drivers_x86
@@ -1,11 +1,4 @@
 
-#
-# Drivers ported from the Linux kernel (USB)
-#
-# Not supported on the ARM architecture.
-#
-#REPOSITORIES += $(GENODE_DIR)/dde_linux
-
 #
 # Additional drivers ported from the Linux kernel (audio, Intel GEM)
 #
diff --git a/tool/builddir/etc/build.conf.optional b/tool/builddir/etc/build.conf.optional
index b3258cf74..eb6af7e88 100644
--- a/tool/builddir/etc/build.conf.optional
+++ b/tool/builddir/etc/build.conf.optional
@@ -26,6 +26,11 @@
 #
 #REPOSITORIES += $(GENODE_DIR)/ports
 
+#
+# Ports of the Linux TCP/IP stack and Linux drivers (USB) from the Linux kernel
+#
+#REPOSITORIES += $(GENODE_DIR)/dde_linux
+
 #
 # High-level Genode-specific services and applications
 #