O comando dpkg --list | grep -e "linux-image" exibe a lista de kernel instalados no seu sistema.
os que estão com as letrinhas ii
no começo, à esquerda indicam estar completamente instalados.
Linux dpkg lista kernel instalado
Clique para ampliar