diff --git a/debian/config/kernelarch-mips/config b/debian/config/kernelarch-mips/config
index beaefcfbc..27b5c840d 100644
--- a/debian/config/kernelarch-mips/config
+++ b/debian/config/kernelarch-mips/config
@@ -8,6 +8,11 @@ CONFIG_SECCOMP=y
 ##
 # CONFIG_NIU is not set
 
+##
+## file: drivers/video/console/Kconfig
+##
+# CONFIG_VGA_CONSOLE is not set
+
 ##
 ## file: fs/ext2/Kconfig
 ##
diff --git a/debian/config/mips/config b/debian/config/mips/config
index 017d3971f..a3dd4c069 100644
--- a/debian/config/mips/config
+++ b/debian/config/mips/config
@@ -6,9 +6,3 @@ CONFIG_CPU_BIG_ENDIAN=y
 # CONFIG_CPU_LITTLE_ENDIAN is not set
 ## end choice
 # CONFIG_RAPIDIO is not set
-
-##
-## file: drivers/video/console/Kconfig
-##
-# CONFIG_VGA_CONSOLE is not set
-
diff --git a/debian/config/mipsel/config b/debian/config/mipsel/config
index 736311e49..3acfa444a 100644
--- a/debian/config/mipsel/config
+++ b/debian/config/mipsel/config
@@ -5,9 +5,3 @@
 # CONFIG_CPU_BIG_ENDIAN is not set
 CONFIG_CPU_LITTLE_ENDIAN=y
 ## end choice
-
-##
-## file: drivers/video/console/Kconfig
-##
-# CONFIG_VGA_CONSOLE is not set
-