serial: switch the serial core to int put_char methods