Added a uart_printf function that should work like expected