diff --git a/src/console/Kconfig b/src/console/Kconfig
index 296b668192..972276b675 100644
--- a/src/console/Kconfig
+++ b/src/console/Kconfig
@@ -326,14 +326,14 @@ config NO_POST
 	bool "Don't show any POST codes"
 	default n
 
-config SERIAL_POST
-	bool "Show POST codes on the serial port console"
-	depends on CONSOLE_SERIAL8250 && !NO_POST
+config CONSOLE_POST
+	bool "Show POST codes on the debug console"
+	depends on !NO_POST
 	default n
 	help
 	  If enabled, coreboot will additionally print POST codes (which are
 	  usually displayed using a so-called "POST card" ISA/PCI/PCI-E
-	  device) on the serial console.
+	  device) on the debug console.
 
 endmenu
 
diff --git a/src/console/post.c b/src/console/post.c
index 43d50492f3..49f6311303 100644
--- a/src/console/post.c
+++ b/src/console/post.c
@@ -27,7 +27,7 @@
 void post_code(uint8_t value)
 {
 #if !defined(CONFIG_NO_POST) || CONFIG_NO_POST==0
-#if CONFIG_SERIAL_POST==1
+#if CONFIG_CONSOLE_POST==1
 	print_emerg("POST: 0x");
 	print_emerg_hex8(value);
 	print_emerg("\n");