diff --git a/debian/config/config b/debian/config/config
index f8ce262b3..b85a2091f 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -202,6 +202,8 @@ CONFIG_COMPUTONE=m
 CONFIG_MOXA_SMARTIO=m
 CONFIG_SYNCLINK_GT=m
 CONFIG_RISCOM8=m
+# CONFIG_STALLION is not set
+# CONFIG_ISTALLION is not set
 CONFIG_NOZOMI=m
 CONFIG_UNIX98_PTYS=y
 # CONFIG_LEGACY_PTYS is not set
diff --git a/debian/config/i386/config.686 b/debian/config/i386/config.686
index 562b9bd87..7889fb9f8 100644
--- a/debian/config/i386/config.686
+++ b/debian/config/i386/config.686
@@ -33,8 +33,6 @@ CONFIG_X86_PPRO_FENCE=y
 # CONFIG_DIGIEPCA is not set
 # CONFIG_MOXA_INTELLIO is not set
 # CONFIG_RIO is not set
-# CONFIG_STALLION is not set
-# CONFIG_ISTALLION is not set
 
 ##
 ## file: drivers/cpufreq/Kconfig
diff --git a/debian/config/i386/config.686-bigmem b/debian/config/i386/config.686-bigmem
index c1b2292ca..1dceea293 100644
--- a/debian/config/i386/config.686-bigmem
+++ b/debian/config/i386/config.686-bigmem
@@ -49,8 +49,6 @@ CONFIG_X86_PPRO_FENCE=y
 # CONFIG_MOXA_INTELLIO is not set
 # CONFIG_SX is not set
 # CONFIG_RIO is not set
-# CONFIG_STALLION is not set
-# CONFIG_ISTALLION is not set
 
 ##
 ## file: drivers/cpufreq/Kconfig