Et http://www.kernel.org ?

Moi bien que debianiste je n'ai jamais utilisé les utilitaires debian pour compiler un noyau, je l'ai toujours fait à la main en téléchargeant l'archive officielle sur kernel.org Ca ne change pas grand chose au final je pense et au moins comme ça on connait la technique indépendante de toute distrib, qui marche donc à tous les coups