Drop the USE_PRINTK_IN_CAR option. It's a bogus decision to make for any user /

[coreboot.git] / src / pc80 / serial.c

diff --git a/src/pc80/serial.c b/src/pc80/serial.c
index f7e4578221b8207046548b6a1a41a920d816a9cf..449f0bada0f908386b92f132209af349b92f8eb0 100644 (file)
--- a/src/pc80/serial.c
+++ b/src/pc80/serial.c
@@ -28,7 +28,7 @@
 #define UART_LCS       CONFIG_TTYS0_LCS
 
 
-#if CONFIG_USE_PRINTK_IN_CAR == 0
+#if CONFIG_USE_DCACHE_RAM == 0
 
 /* Data */
 #define UART_RBR 0x00
@@ -97,7 +97,7 @@ void uart_init(void)
 }
 
 #else
-/* CONFIG_USE_PRINTK_IN_CAR == 1 */
+/* CONFIG_USE_DCACHE_RAM == 1 */
 
 extern void uart8250_init(unsigned base_port, unsigned divisor, unsigned lcs);
 void uart_init(void)