diff --git a/benchmarks/coremark/ee_printf.c b/benchmarks/coremark/ee_printf.c
index 8f983b0..d315f7d 100644
--- a/benchmarks/coremark/ee_printf.c
+++ b/benchmarks/coremark/ee_printf.c
@@ -664,7 +664,7 @@ ee_vsprintf(char *buf, const char *fmt, va_list args)
 void
 uart_send_char(char c)
 {
-#if defined(BOARD_ehrenberg)
+#if defined(BOARD_ehrenberg) || defined(BOARD_tgc_vp)
             while (get_uart_rx_tx_reg_tx_free(uart)==0) ;
             uart_write(uart, c);
             if (c == '\n') {