Se você não instalou manualmente, o nome do pacote é linux-image*
. Você não pode vê-lo na listagem dpkg -l | grep linux-image
.
-
Verifique se todos os kernels existem na pasta
/boot
ls -l /boot/
-
Verifique seu pacote usando
dpkg -S /boot/<kernel-filename>
Existem outros pacotes do kernel com a mesma versão, veja packages.ubuntu.com