Um einen anderen Kernel (z. B. einen Nicht-Pae-Kernel) zu installieren, müssten Sie das Paket dafür installieren. Verwenden Sie zur Installation Ihren bevorzugten Paketmanager (wie Synaptic) linux-image-generic
oder verwenden Sie diesen Befehl in einem Terminal:
sudo apt-get install linux-image-generic
In Ubuntu 12.04 oder einer früheren Version wird dadurch der neueste generische Kernel installiert, der nicht pae ist. Dann müssten Sie neu starten und im Grub-Menü den Nicht-Pae-Kernel auswählen. Überprüfen Sie nach dem Start, ob alles funktioniert.
In Ubuntu 12.10 oder einer höheren Version funktioniert dies NICHT, da Linux-Image-Generic gleichbedeutend mit Linux-Image-Generic-Pae ist.
Optional: Sie können den anderen Kernel entfernen, sobald Sie wissen, dass alles mit dem neuen Kernel funktioniert
sudo apt-get remove linux-image-generic-pae