Added mechanism to use standard functions printf to write to the serial
port.