Além deste, o cara pode recompilar o kernel usando o make-kpkg ou então instalar uma imagem de kernel pronta, com o comando:
Então vão aparecer vários resultados, escolha a melhor pra você e depois:Código :
# apt-cache search kernel-image-2.6*
Código :
# apt-get install kernel-image-2.6.algumacoisa
Informações sobre o make-kpkg você encontra no Guia Focalinux.