Após inicializar o laptop, o teclado não funciona mais: na tela de login, nenhuma das teclas faz nada. O touchpad pode ser usado para mover o ponteiro do mouse, mas clicar em um nome de usuário ou um ícone no painel também não faz nada. Quando eu inicializo em 4.13.0-39, tudo funciona como esperado.
Estranhamente, se um teclado USB externo estiver conectado ao fazer login, tanto o teclado USB quanto o teclado do laptop funcionarão e o teclado do laptop continuará funcionando após a remoção do teclado externo.