i8042_kbd_write
serio->write = i8042_dumbkbd ? NULL : i8042_kbd_write;
i8042_kbd_write(NULL, (unsigned char) 0xff);