Como substituir um kernel PAE por um kernel não PAE?

Depois de ler as informações dos meus prós / contras da pergunta do PAE , quero remover o kernel do PAE porque não preciso deles. Sei remover um kernel do Synaptic Package Manager. Isso é tarefa fácil, mas como obter o kernel Non-PAE atual?

Para instalar um kernel diferente (como um kernel não-pae), você precisaria instalar o pacote para ele. Use seu gerenciador de pacotes favorito (como Synaptic) para instalar linux-image-genericou use este comando em um terminal:

sudo apt-get install linux-image-generic

No Ubuntu 12.04 ou versão anterior , instalará o kernel genérico mais recente que não é pae. Então você precisaria reiniciar e, no menu grub, selecione o kernel não-pae. Depois de inicializado, verifique se está tudo funcionando.

No Ubuntu 12.10 ou versão posterior , isso NÃO funcionará, pois o linux-image-generic é equivalente ao linux-image-generic-pae.

Opcional: Você pode remover o outro kernel depois de saber que tudo está funcionando com o novo kernel fazendo

sudo apt-get remove linux-image-generic-pae