write_console is now klog, for users we'll have a tty driver