Parece que você tem muitos kernels antigos (headers / devel) instalados que estão preenchendo a partição /boot
.
Execute dpkg -l | grep linux-image
e verifique a lista e identifique as que você não deseja mais. Remova tudo o que você não deseja executando apt-get purge
para remover os kernels que não são mais necessários.
Como você tem mais espaço em /boot
, agora você pode apt-get install linux-image-3.5.0-32-generic --reinstall
instalar o kernel mais recente para o 12.10. Se for bem sucedido, você pode executar dist-upgrade
.