diff --git a/debian/config/alpha/config b/debian/config/alpha/config
index bd84a7f5e..2c1660c16 100644
--- a/debian/config/alpha/config
+++ b/debian/config/alpha/config
@@ -898,7 +898,6 @@ CONFIG_LCD_CLASS_DEVICE=m
 ##
 CONFIG_VGA_CONSOLE=y
 CONFIG_MDA_CONSOLE=m
-CONFIG_FRAMEBUFFER_CONSOLE=y
 
 ##
 ## file: drivers/video/fbdev/Kconfig
diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index 4a1d72ee3..c0714543b 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -857,11 +857,6 @@ CONFIG_USB_QCOM_8X16_PHY=m
 CONFIG_BACKLIGHT_GENERIC=m
 CONFIG_BACKLIGHT_LP855X=m
 
-##
-## file: drivers/video/console/Kconfig
-##
-CONFIG_FRAMEBUFFER_CONSOLE=y
-
 ##
 ## file: drivers/video/fbdev/Kconfig
 ##
diff --git a/debian/config/armhf/config b/debian/config/armhf/config
index d30f121e7..c9255579a 100644
--- a/debian/config/armhf/config
+++ b/debian/config/armhf/config
@@ -1206,11 +1206,6 @@ CONFIG_BACKLIGHT_PWM=m
 CONFIG_BACKLIGHT_PANDORA=m
 CONFIG_BACKLIGHT_GPIO=m
 
-##
-## file: drivers/video/console/Kconfig
-##
-CONFIG_FRAMEBUFFER_CONSOLE=y
-
 ##
 ## file: drivers/video/fbdev/Kconfig
 ##
diff --git a/debian/config/config b/debian/config/config
index 16cc9a21d..b87cc4c19 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -5147,6 +5147,7 @@ CONFIG_BACKLIGHT_WM831X=m
 # CONFIG_VGACON_SOFT_SCROLLBACK is not set
 CONFIG_DUMMY_CONSOLE_COLUMNS=80
 CONFIG_DUMMY_CONSOLE_ROWS=25
+CONFIG_FRAMEBUFFER_CONSOLE=y
 # CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set
 CONFIG_FRAMEBUFFER_CONSOLE_ROTATION=y
 
diff --git a/debian/config/hppa/config b/debian/config/hppa/config
index f573ea705..a6737b7e3 100644
--- a/debian/config/hppa/config
+++ b/debian/config/hppa/config
@@ -495,7 +495,6 @@ CONFIG_USB_OHCI_HCD=m
 ##
 CONFIG_DUMMY_CONSOLE_COLUMNS=160
 CONFIG_DUMMY_CONSOLE_ROWS=64
-CONFIG_FRAMEBUFFER_CONSOLE=y
 CONFIG_STI_CONSOLE=y
 
 ##
diff --git a/debian/config/kernelarch-mips/config b/debian/config/kernelarch-mips/config
index 1b78561c8..6e19e0a13 100644
--- a/debian/config/kernelarch-mips/config
+++ b/debian/config/kernelarch-mips/config
@@ -59,7 +59,6 @@ CONFIG_USB_OHCI_HCD=m
 ## file: drivers/video/console/Kconfig
 ##
 # CONFIG_VGA_CONSOLE is not set
-CONFIG_FRAMEBUFFER_CONSOLE=y
 
 ##
 ## file: init/Kconfig
diff --git a/debian/config/kernelarch-mips/config.octeon b/debian/config/kernelarch-mips/config.octeon
index 72c3fde62..08b41671d 100644
--- a/debian/config/kernelarch-mips/config.octeon
+++ b/debian/config/kernelarch-mips/config.octeon
@@ -164,6 +164,11 @@ CONFIG_SERIAL_8250_DW=y
 CONFIG_USB_OCTEON_EHCI=y
 CONFIG_USB_OCTEON_OHCI=y
 
+##
+## file: drivers/video/console/Kconfig
+##
+# CONFIG_FRAMEBUFFER_CONSOLE is not set
+
 ##
 ## file: drivers/video/fbdev/Kconfig
 ##
diff --git a/debian/config/kernelarch-powerpc/config b/debian/config/kernelarch-powerpc/config
index 3ab4a74a8..6359b49a1 100644
--- a/debian/config/kernelarch-powerpc/config
+++ b/debian/config/kernelarch-powerpc/config
@@ -815,7 +815,6 @@ CONFIG_USB_SL811_CS=m
 ## file: drivers/video/console/Kconfig
 ##
 CONFIG_VGA_CONSOLE=y
-CONFIG_FRAMEBUFFER_CONSOLE=y
 
 ##
 ## file: drivers/video/fbdev/Kconfig
diff --git a/debian/config/kernelarch-sparc/config b/debian/config/kernelarch-sparc/config
index 6dbc54238..db8a0e348 100644
--- a/debian/config/kernelarch-sparc/config
+++ b/debian/config/kernelarch-sparc/config
@@ -468,11 +468,6 @@ CONFIG_USB_UHCI_HCD=m
 ##
 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
 
-##
-## file: drivers/video/console/Kconfig
-##
-CONFIG_FRAMEBUFFER_CONSOLE=y
-
 ##
 ## file: drivers/video/fbdev/Kconfig
 ##
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 155d4e5e2..a4b724a05 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -1786,7 +1786,6 @@ CONFIG_VFIO_PCI_VGA=y
 ## file: drivers/video/console/Kconfig
 ##
 CONFIG_VGA_CONSOLE=y
-CONFIG_FRAMEBUFFER_CONSOLE=y
 
 ##
 ## file: drivers/video/fbdev/Kconfig
diff --git a/debian/config/m68k/config b/debian/config/m68k/config
index 888037384..3994051a2 100644
--- a/debian/config/m68k/config
+++ b/debian/config/m68k/config
@@ -564,11 +564,6 @@ CONFIG_SERIAL_8250_RUNTIME_UARTS=4
 ##
 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
 
-##
-## file: drivers/video/console/Kconfig
-##
-CONFIG_FRAMEBUFFER_CONSOLE=y
-
 ##
 ## file: drivers/video/fbdev/Kconfig
 ##
diff --git a/debian/config/s390x/config b/debian/config/s390x/config
index 67fbe186d..89779291d 100644
--- a/debian/config/s390x/config
+++ b/debian/config/s390x/config
@@ -159,6 +159,11 @@ CONFIG_ZFCP=m
 ##
 CONFIG_HVC_IUCV=y
 
+##
+## file: drivers/video/console/Kconfig
+##
+# CONFIG_FRAMEBUFFER_CONSOLE is not set
+
 ##
 ## file: drivers/video/fbdev/Kconfig
 ##
diff --git a/debian/config/sh4/config.sh7751r b/debian/config/sh4/config.sh7751r
index 7ddd7a790..99c496e93 100644
--- a/debian/config/sh4/config.sh7751r
+++ b/debian/config/sh4/config.sh7751r
@@ -154,11 +154,6 @@ CONFIG_USB=y
 ##
 CONFIG_USB_OHCI_HCD=y
 
-##
-## file: drivers/video/console/Kconfig
-##
-CONFIG_FRAMEBUFFER_CONSOLE=y
-
 ##
 ## file: drivers/video/fbdev/Kconfig
 ##
diff --git a/debian/config/sh4/config.sh7785lcr b/debian/config/sh4/config.sh7785lcr
index d26ade621..6d1175949 100644
--- a/debian/config/sh4/config.sh7785lcr
+++ b/debian/config/sh4/config.sh7785lcr
@@ -199,11 +199,6 @@ CONFIG_USB_R8A66597_HCD=y
 ##
 CONFIG_USB_STORAGE=y
 
-##
-## file: drivers/video/console/Kconfig
-##
-CONFIG_FRAMEBUFFER_CONSOLE=y
-
 ##
 ## file: drivers/video/fbdev/Kconfig
 ##