diff --git a/src/console/Kconfig b/src/console/Kconfig
index ed3a07f..fb72cdb 100644
--- a/src/console/Kconfig
+++ b/src/console/Kconfig
@@ -1,6 +1,7 @@
 menu "Console options"
 
-config SERIAL_CONSOLE
+config CONSOLE_SERIAL8250
+	#TODO Rename to SERIAL_CONSOLE once Kconfig transition is complete.
 	bool "See output on the serial port console"
 	default y
 
@@ -10,13 +11,13 @@
 
 config TTYS0_BASE
 	hex "I/O base for the serial port"
-	depends on SERIAL_CONSOLE
+	depends on CONSOLE_SERIAL8250
 	default 0x3f8
 
 config SERIAL_SET_SPEED
 	bool "Override the serial console BAUD rate"
 	default y
-	depends on SERIAL_CONSOLE
+	depends on CONSOLE_SERIAL8250
 
 config TTYS0_BAUD
 	int "Serial console BAUD rate"
diff --git a/src/console/Makefile.inc b/src/console/Makefile.inc
index 233f445..4545ce5 100644
--- a/src/console/Makefile.inc
+++ b/src/console/Makefile.inc
@@ -6,7 +6,7 @@
 initobj-y += vtxprintf.o
 initobj-y += vsprintf.o
 
-driver-$(CONFIG_SERIAL_CONSOLE) += uart8250_console.o
+driver-$(CONFIG_CONSOLE_SERIAL8250) += uart8250_console.o
 driver-$(CONFIG_USBDEBUG_DIRECT) += usbdebug_direct_console.o
 driver-$(CONFIG_CONSOLE_VGA) += vga_console.o
 driver-$(CONFIG_CONSOLE_BTEXT) += btext_console.o