cerca, con synaptic "kernel image" e installi quello che ti serve.
Il kernel nuovo NON sostituisce quello vecchio.

Sergej