diff --git a/benchmarks/coremark/ee_printf.c b/benchmarks/coremark/ee_printf.c
index 95d3e1e..6952ea6 100644
--- a/benchmarks/coremark/ee_printf.c
+++ b/benchmarks/coremark/ee_printf.c
@@ -571,33 +571,7 @@ static int ee_vsprintf(char *buf, const char *fmt, va_list args) {
 
 #include <platform.h>
 
-void uart_send_char(char c) {
-  write(STDOUT_FILENO, &c, 1); // write or puts ??
-  /*
-#if defined(BOARD_ehrenberg)
-while (get_uart_rx_tx_reg_tx_free(uart) == 0)
-;
-uart_write(uart, c);
-if (c == '\n') {
-while (get_uart_rx_tx_reg_tx_free(uart) == 0)
-  ;
-uart_write(uart, '\r');
-}
-#elif defined(BOARD_iss)
-*((uint32_t *)0xFFFF0000) = c;
-#else
-while (UART0_REG(UART_REG_TXFIFO) & 0x80000000)
-;
-UART0_REG(UART_REG_TXFIFO) = c;
-if (c == '\n') {
-while (UART0_REG(UART_REG_TXFIFO) & 0x80000000)
-  ;
-UART0_REG(UART_REG_TXFIFO) = '\r';
-}
-#endif
-
-*/
-}
+void uart_send_char(char c) { write(STDOUT_FILENO, &c, 1); }
 
 int ee_printf(const char *fmt, ...) {
   char buf[1024], *p;