Thank you, Takashi That kernel worked out of the box micha@susi:~> lsmod |egrep "(i8042|atkb|psmouse)" atkbd 36864 0 libps2 20480 1 atkbd i8042 32768 1 asus_nb_wmi I'll do some more reboots, hopefully I get a another failure