O
Gerenciador de Atualizações, propõe todos os tipos de Atualizações, incluindo atualizações de distribuição também.
A melhor maneira em seu cenário para evitar o 3.2 Kernel Downgrade seria usar o método alternativo e back-end de usar o Gnome-terminal ou a Command Line Interface [CLI ] para atualizar.
Digite estes comandos,
sudo apt-get update && sudo apt-get upgrade
Isto irá procurar por pacotes atualizados e instalá-los de forma semelhante à função do Update Manager , mas se forem encontrados upgrades de Kernel, eles não serão baixados e instalados, mas fornecerão uma mensagem como
Os seguintes pacotes não foram atualizados.
Considerando que a atualização para o novo kernel disponível requer o uso de
sudo apt-get dist-upgrade
Isso é como uma solução alternativa, já que você está usando os repositórios oficiais fornecidos como Kernel e Kernel Mainline . Se você quer especificamente que apenas este kernel esteja presente em seu sistema, então consulte a sugestão Uri Herrera . Mas ter um kernel oficial estável é sempre recomendado.