Nachdem ich vorgestern mal den aktuellen Kernel kompiliert habe und einige Probleme damit hatte (Framebuffer wurde beim Hochfahren nicht korrekt benutzt und WLAN funktionierte nicht), wollte ich den Kernel deinstallieren.
Damit ich es nicht vergesse:
dpkg --list | grep linux-image dpkg -r linux-image-$VERSION
Sag was!