and so far it seems to recover the keyboard, even if the logs are not
the same (symptoms are: stuck key and the rest of keys do nothing).
Just a workaround, but at least this means no full reboot needed, just
ssh from another machine or some kind of automatic triggering.
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact firstname.lastname@example.org