Você poderia usar qualquer versão do kernel, se quiser. Aqui estão duas maneiras. Pegue um deles é o suficiente:
use o apt para instalar kernels para você.
manualmente instalar kernels mainline pelo dpkg
Etapas para A:
- comando no terminal: apt-cache search linux-image
-
você verá a lista do kernel. pegue o que você quiser. Por exemplo,
linux-image-3.16.0-36-generic
-
Comando
no terminal: sudo apt-get install. Por exemplo,
sudo apt-get instala o linux-image-3.16.0-36-generic
-
reinicialize o sistema assim que a instalação do apt estiver concluída. Isso é!
Etapas para B:
- vá até link
- pegue a versão do kernel que você quer
- faça o download desses kernel * .deb que você quer
-
instale o * .deb que você acabou de baixar por
sudo dpkg -i * .deb
(opcional) você pode querer usar este script para ajudar a baixe esses * .deb