the output for printf can now be changed to UART