pl011_console_putchar
uart_console_write(&uap->port, "\n", 1, pl011_console_putchar);
uart_console_write(&uap->port, wctxt->outbuf, wctxt->len, pl011_console_putchar);
uart_console_write(&uap->port, wctxt->outbuf + i, 1, pl011_console_putchar);