/* * Output char to tty; console putchar style. * Can be called with tty lock held through kprintf() machinery.. */