f4a80e422c
Call kbd_xlate_init() after we know the keyboard type so it has a chance to install the RIGHT keymap pointers! (Duh!)