Tente Seção 4.5 do Manual Debian do Kernel: "Construindo um ambiente personalizado kernel da fonte do kernel do Debian ". Para citar essa seção
The easiest way to build a custom kernel (the kernel with the configuration different from the one used in the official packages) from the Debian kernel source is to use the linux-source package and the make deb-pkg target.
Deixe-nos saber como você se sai. Não me lembro se tentei esse método específico. Você também pode escrever diretamente para os autores do manual. Uma alternativa é o kernel-package, mas eu não uso isso há algum tempo.