Você pode listar cada pacote instalado com dpkg -l
e filtrar os resultados com grep
para os pacotes do kernel
dpkg -l | grep 'linux-image'
dpkg -l | grep 'linux-image' | grep '3.11'
Para encontrar o pacote de cabeçalhos do kernel para o seu kernel em execução:
apt-cache search linux-headers-'uname -r'