ich würde gern meinen Kernel, wie im Topic beschrieben, updaten.
Hier hab ich mal die über apt-get verfügbaren Kernelpakete aufgelistet.
Ich weiß leider nur nicht welches das richtige Paket ist und ob es reicht, den Kernel ledeglich mit apt zu nstallieren.
(eigentlich will ich ja nur ACPI haben
![traurig :(](./images/smilies/icon_sad.gif)