Yo bajo el source del apt, porque supuestamente ya esta parcheado por ellos
apt-get install kernel-source-xx-yy-zz
Se baja con extension bzip2 en /usr/src
Con esto haces la imagen (.deb), para luego instalarla con el dpkg
make-kpkg buildpackage -rev Custom.1 kernel_image
Aqui encontraras un manual de como copilar el kernel a la Debian
http://www.esdebian.org/staticpages/...40226010229749