Modified printf to output to uart1