serial8250_console_putchar
serial8250_console_putchar(port, ch);
serial8250_console_putchar(port, '\r');
serial8250_console_putchar(port, *s++);