bcm_console_putchar
uart_console_write(port, s, count, bcm_console_putchar);
uart_console_write(&dev->port, s, n, bcm_console_putchar);