Como se chama esse arquivo ".deb"?
"linux-image-<número da versão>.deb"
Veja que a gente vai precisar saber o número exato da versão do kernel que vc quer/precisa instalar. Você vai baixar esse arquivo do site do Ubuntu.
".deb" é a extensão padronizada para os arquivos com a instalação dos programas para o Ubuntu. Na verdade esse padrão foi desenvolvido para a distribuição Debian, que foi a origem de várias outras, inclusive o Ubuntu. Não é o único que existe: as distribuições derivadas do RedHat usam a extensão ".rpm", por exemplo. Mas aqui no Ubuntu, vc usa arquivos ".deb".
Normalmente vc não se preocupa com isso, pq o sistema de gerenciamento de pacotes busca o arquivo ".deb" correto automaticamente e o instala pra você.
Tem algum instalador?
Sim, chama-se "dpkg".
É preciso descompactar?
Não.
É só copiar para dentro de alguma pasta? Qual pasta?
Não, basta fazer o download do arquivo em qualquer lugar, e depois usar o dpkg para instalá-lo.