Eu finalmente descobri qual era o problema. Recentemente, este relatório de bug do Ubuntu Launchpad veio à tona . Ele afirma que o kernel regrediu de .24
para .25
.
O que eu fiz então foi ir para as versões principais do kernel do Ubuntu e instalei o 3.13.11
, que é o que o relatório do bug declarou como uma correção:
Você faz o download do pacote all
package, headers
e do pacote image
do tipo "generic". Escolha os pacotes corretos para o seu sistema operacional (32/64 bits).
Depois de baixar esses 3 pacotes, vá até a pasta e execute:
sudo dpkg -i linux*.deb
E ele instalará o novo kernel. Finalmente, reinicie-o e ele deverá ser o padrão na sua configuração do GRUB.
Se você realmente não conseguir descobrir, usei este tutorial para fazer a atualização.