En algún momento, instalé un nuevo kernel, sin ningún propósito en particular sino intentarlo.
Tengo algunos problemas y me gustaría asegurarme de que no sean causados por el núcleo que instalé.
¿Cómo puedo saber si estoy usando el kernel oficial más nuevo disponible? Si no lo estoy, ¿cómo puedo cambiar (subir o bajar de categoría) a la última versión oficial?
(Estoy usando Ubuntu 12.04, ejecutando kernel 3.3.0-030300-generic)