Como eu não tenho uma configuração semelhante à sua, não posso dizer o quão bem qualquer um deles funciona, então antes de tentar qualquer coisa faça um backup! Dito isso, você pode tentar o seguinte :
-
Usando
dpkg
para remover kernels mais antigos e instalar o novo depois. Por exemplo:$ sudo dpkg -r linux-headers-3.5.0-28-generic
-
Se ainda assim não funcionar, você pode tentar mover temporariamente alguns arquivos de kernel antigos para um local diferente (partição raiz, algum pen drive, etc ...), instalar o novo kernel e remover os kernels mais antigos , enquanto move os arquivos do kernel para sua localização padrão;
-
Você pode tentar "mover" seu ponto de montagem
/boot
temporariamente (supondo que você tenha espaço suficiente em/
). Isso levará as seguintes etapas:- Desmonte seu / ponto de montagem de inicialização:
sudo umount /boot
; - Monte em outro lugar:
sudo mount /dev/**your boot partition** /mnt
; - Mova seus arquivos de / mnt para / boot: você pode usar
gksu nautilus
ousudo mv
para fazer isso - Execute as alterações desejadas (instalando o novo kernel, removendo as antigas);
- Copie os arquivos de / mnt de volta para / boot;
- Desmonte seu / ponto de montagem de inicialização:
Observe também que, se você estiver usando o LVM, redimensionar uma partição é muito mais fácil (você não precisa parar nada / reiniciar / usar CDs ao vivo). Portanto, se esse for o caso, use lvextend
para aumentar o espaço na partição /boot
.