diff --git a/src/console/printk.c b/src/console/printk.c
index fb1194e828..c61f63e6a6 100644
--- a/src/console/printk.c
+++ b/src/console/printk.c
@@ -40,3 +40,11 @@ int do_printk(int msg_level, const char *fmt, ...)
 
 	return i;
 }
+
+#if CONFIG_CHROMEOS
+void do_vtxprintf(const char *fmt, va_list args)
+{
+	vtxprintf(console_tx_byte, fmt, args);
+	console_tx_flush();
+}
+#endif
diff --git a/src/include/console/console.h b/src/include/console/console.h
index aa5273fc9b..e7b4253c32 100644
--- a/src/include/console/console.h
+++ b/src/include/console/console.h
@@ -82,6 +82,16 @@ static inline void printk(int LEVEL, const char *fmt, ...) {
 
 #endif /* defined(__PRE_RAM__) && !CONFIG_EARLY_CONSOLE */
 
+#if CONFIG_CHROMEOS
+/* FIXME: Collision of varargs with AMD headers without guard. */
+#include <console/vtxprintf.h>
+#if !defined(__PRE_RAM__) || CONFIG_EARLY_CONSOLE
+void do_vtxprintf(const char *fmt, va_list args);
+#else
+static inline void do_vtxprintf(const char *fmt, va_list args) {};
+#endif
+#endif
+
 #define print_emerg(STR)         printk(BIOS_EMERG,  "%s", (STR))
 #define print_alert(STR)         printk(BIOS_ALERT,  "%s", (STR))
 #define print_crit(STR)          printk(BIOS_CRIT,   "%s", (STR))
diff --git a/src/vendorcode/google/chromeos/vboot_loader.c b/src/vendorcode/google/chromeos/vboot_loader.c
index 0c5220a82b..943ad176db 100644
--- a/src/vendorcode/google/chromeos/vboot_loader.c
+++ b/src/vendorcode/google/chromeos/vboot_loader.c
@@ -64,8 +64,7 @@ out:
 /* Helper routines for the vboot stub. */
 static void log_msg(const char *fmt, va_list args)
 {
-	vtxprintf(console_tx_byte, fmt, args);
-	console_tx_flush();
+	do_vtxprintf(fmt, args);
 }
 
 static void fatal_error(void)