Puedes seguir la discusión de Como saber o listar los Kernels que tengo en Ubuntu y cual estoy usando sin tener que dejar un comentario. Introduce tu dirección de correo-e en el siguiente formulario y listo.