Mas é software livre! O código tá ai, fix it ou a comunidade te ajuda!

bem,… se vc está utilizando debian, acho que criar um pacote de kernel seja adequado… dentro de /usr/src/linux, rode:

make-kpkg –append-to-version alguma_coisa_a_seu_gosto –initrd –uc –us –rootcmd fakeroot buildpackage

isso irá gerar os pacotes .deb necessarios para instalar um kernel com dependencias e td mais… dai é so rodar dpkg -i nos pacotes .deb criados.

Não sei vc, mas detesto ter que me preocupar com edição de grub.conf e outras coisitas mais, se o debian provê estas facilidades, legal é usa-las.:D
fica a dica.