Ocasionalmente, atualizo meu kernel neste site http://kernel.ubuntu.com/~kernel-ppa/mainline/
Eu sempre baixei 3 arquivos deb para instalar o linux header all, linux image e linux headers. Notei recentemente mais um arquivo deb para o kernel de 64 bits chamado Linux-image-extra.
Gostaria de saber o que o arquivo kernel Linux-image-extra faz e devo instalá-lo também?