Ok, aqui vamos nós sobre como compilar e instalar um novo kernel:
Primeiro as dependências para tudo isso:
sudo apt-get install build-essential makedumpfile
Além das dependências para o kernel específico, para um kernel que está em um repositório você pode fazer isso:
sudo apt-get build-dep linux-image-"kernel number"
Para o seu kernel, eu não sei, talvez eles sejam os mesmos, talvez eles sejam diferentes. Você deve pesquisar informações no Google para isso, isso pode depender de como você configura seu kernel.
Depois disso, sugiro que você crie um lugar para trabalhar em sua pasta pessoal:
mkdir src
cd src
Você pode descompactar seu kernel aqui ou obter um kernel de um repositório com:
apt-get source linux-image-"kernel number"
Agora queremos trabalhar na pasta descompactada:
cd linux-"kernel number"
Depois disso você precisará de uma ferramenta para editar sua configuração do kernel, existem duas ferramentas diferentes e para usá-las você terá que instalar suas dependências:
For xconfig = sudo apt-get install qt3-dev-tools libqt3-mt-dev
For menuconfig = sudo apt-get install libncurses5 libncurses5-dev
Eu sugiro que você use o xconfig, que é mais fácil de usar. Para usá-lo, você digita:
xconfig = make xconfig
menuconfig = make menuconfig
Configure seu kernel como quiser e salve sua configuração. Se você não precisa dele, você deve desabilitar "Kernel debugging (DEBUG_KERNEL)" em "Kernel hacking", pois isso tornará a compilação menor.
Para compilar, você digita:
CONCURRENCY_LEVEL=3 sudo make-kpkg --initrd --append-to-version=-something kernel-image kernel-headers
Substitua "CONCURRENCY_LEVEL = 3" pelo número de núcleos que seu processador possui +1, o que tornará a compilação muito mais rápida. Substitua "--append-to-version = -something" pelo que você deseja anexar ao nome do kernel.
Aguarde muito tempo, várias horas dependendo do seu computador.
Quando terminar e se nada de ruim acontecer você terá dois belos pacotes debian criados na pasta pai, instale-os:
cd ..
sudo dpkg -i linux-image-"kernel number".deb
sudo dpkg -i linux-headers-"kernel number".deb
Não se esqueça de atualizar o grub:
sudo dpkg-reconfigure grub-pc
Reinicie o seu novo kernel e, se tudo estiver bem, você está pronto.