more fixes in ps2 keyboard driver