Marc0,
Dat kan zeker wel.
Doe eens dit: Toepassingen / hulpmiddelen / terminalvenster
Kopieer en plak het volgende erin:
gksudo gedit /boot/grub/menu.lst
Geef je wachtwoord, je ziet niets verschijnen ook geen sterretjes.
Je krijgt nu een tekstbestandje te zien. Feitelijk is dat het menu van Grub.
Scroll nu naar beneden, tot onder de lijn "## ## End Default Options ##"
Aldaar staan de kernels die je kunt laden.
Nu is het zaak, dat je ## zet voor de regels van die PAE-kernel.
Zo'n blokje ziet er ongeveer zo uit:
title Ubuntu 8.10, kernel 2.6.27-11-generic
uuid 976f8534-6bff-4b88-b1e7-4e53bf3cb16b
kernel /boot/vmlinuz-2.6.27-11-generic root=UUID=976f8534-6bff-4b88-b1e7-4e53bf3cb16b ro quiet splash
initrd /boot/initrd.img-2.6.27-11-generic
quiet
Wanneer je voor elke regel van die PAE-kernel een # plaatst (ook voor de "recovery" versie), dan is die uitgeschakelt en zal hij niet meer in Grub te zien zijn. Ik zou hem niet verwijderen, wie weet gaat er iets niet goed, dan kun je die # gewoon weer weghalen.
Bestandje opslaan en afsluiten,
en pc herstarten om het resultaat te bezien ;-)
Groet,
Steven