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.