@beate
Nun einen Kernel kann man ganz schnell selber bauen, auch mit PAE wenn man will. Natürlich brauchst du das bei deinen noch 4GB nicht, aber wenn du RAM aufrüstest willst und bei deinem 32bit System bleibst schon. Soweit ich weiß, bekommst du von deinen 4GB aktuell nur 3,2GB real genutzt...