* kernel/devices/keyboard/386/kbd.c: misc