Wie ersetze ich einen PAE-Kernel durch einen Nicht-PAE-Kernel?

Nachdem ich die Informationen aus meiner Frage Vor- / Nachteile von PAE gelesen habe , möchte ich den PAE-Kernel entfernen, da ich sie nicht benötige. Ich weiß, dass ich einen Kernel aus Synaptic Package Manager entferne. Das ist eine einfache Aufgabe, aber wie bekommt man den aktuellen...