/* * Got a console receive interrupt - * the console processor wants to give us a character. */