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
/bootls -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