Una consultilla, de donde saco otro Kernel y lo mas importante, cuales son los pasos para cambiarlo, yo me aventuro a ello y digo si funciona o no.
La mia actual es :
3.4.0-talexop-1.34
root@talexop-linux#14
sat nov9 18:38:05 ETT2013
Lo digo por si sirve de algo. Gracias.