Esta é apenas metade da resposta, pois resolveu o problema em questão, mas introduziu outra.
Para o kernel 3.19, é necessário o extra da imagem linux:
Como eu tenho a versão 3.19.0-31
(veja uname -a
), eu instalei via:
sudo apt-get install linux-image-extra-3.19.0-31-generic
Em seguida, o USB começa a funcionar novamente após o grub e faz meu teclado externo funcionar.
No entanto, ele quebrou o gdm
e o Ubuntu inicializou no modo de gráficos baixos, e o gnome-shell não iniciará.
É por isso que eu segui o como consertar o modo de gráficos baixos , e a parte relevante para mim foi o driver da Intel:
% bl0ck_qu0te%Eu também reinstalei o gdm e depois da reinicialização, finalmente tive o sistema operacional novamente.