diff --git a/src/console/printk.c b/src/console/printk.c
index 855c841284..2f7e27719b 100644
--- a/src/console/printk.c
+++ b/src/console/printk.c
@@ -79,7 +79,7 @@ int do_printk(int msg_level, const char *fmt, ...)
 	return i;
 }
 
-#if IS_ENABLED (CONFIG_CHROMEOS)
+#if IS_ENABLED (CONFIG_VBOOT)
 void do_printk_va_list(int msg_level, const char *fmt, va_list args)
 {
 	if (!console_log_level(msg_level))
@@ -87,4 +87,4 @@ void do_printk_va_list(int msg_level, const char *fmt, va_list args)
 	vtxprintf(wrap_putchar, fmt, args, NULL);
 	console_tx_flush();
 }
-#endif /* CONFIG_CHROMEOS */
+#endif /* CONFIG_VBOOT */