Tu veux compiler un nouveau noyau ou tu as juste besoin des headers pour compiler une autre application ?
Si tu as juste besoin des headers et que tu n´as pas envie de recompiler un noyau, essaie (en root) :
apt-cache search kernel-headers
et prend le paquet qui convient pour ton noyau.