A solução atual para esse problema é:
Edite /etc/default/grub
e altere a linha
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
para
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash atkbd.reset"
Em seguida, execute update-grub
e reinicialize.
Crédito: jmkhenka @ link
Funciona para mim no Lenovo Thinkpad X230.