Em algum momento, instalei um novo kernel, sem nenhuma finalidade específica, a não ser tentar.
Estou com alguns problemas e gostaria de garantir que eles não sejam causados pelo kernel que instalei.
Como geralmente posso descobrir se estou usando o kernel oficial mais recente disponível? Se não estiver, como posso mudar (up ou downgrade) para a versão oficial mais recente?
(Estou usando o Ubuntu 12.04, executando o kernel 3.3.0-030300-generic)