Aqui estão instruções genéricas que funcionam em qualquer versão do Ubuntu:
Há uma defasagem entre o lançamento de um Kernel e quando ele é disponibilizado nas atualizações do Ubuntu. Para adicionar um novo Kernel à lista de opções de inicialização, pegue os pacotes aqui:
http://kernel.ubuntu.com/~kernel-ppa/mainline/
Você precisará combinar sua versão do Ubuntu e seu tipo de sistema de 32 ou 64 bits.
Faça o download desses arquivos para a sua partição /tmp
usando wget
ou algo semelhante e execute:
sudo dpkg -i linux-*.deb
Opcionalmente, para remover um Kernel antigo, localize o número de versão correto e execute:
sudo apt-get purge linux-image-YYYYYY*
Uma vez instalado, o Kernel estará disponível para seleção no momento da inicialização. Certifique-se de deixar pelo menos um Kernel em todos os momentos, de preferência deixe dois (o sistema originalmente fornecido pelo seu sistema e sua versão atual).