Separated one-time keyboard initialization from per-console keyboard

initialization. One-time init is called from tty.

Side effect is that the one-time init is done after the sys_getmachine()
call, which makes set_leds() work, which makes numlock go off at booting.

drivers/tty/tty.c

@@ -168,13 +168,16 @@ PUBLIC void main(void)
   /* Initialize the TTY driver. */
   tty_init();
 
-  printf("\n");
-
   /* Get kernel environment (protected_mode, pc_at and ega are needed). */ 
   if (OK != (s=sys_getmachine(&machine))) {
     panic("TTY","Couldn't obtain kernel environment.", s);
   }
 
+  /* Final one-time keyboard initialization. */
+  kb_init_once();
+
+  printf("\n");
+
   while (TRUE) {
 
 	/* Check for and handle any events on any of the ttys. */