make printf use uart0_puts