J'ai récupéré les sources officielles du kernel ainsi que le source du package debian (du kernel-image)
ce source ne fournit que certains fichiers permettant de compiler le kernel à la sauce debian, je pense
comment on peut utiliser ces fichiers proprement pour se compiler un kernel avec make-kpkg (une autre méthode que la copie des fichiers, parce que j'ai peur d'oublier un truc si je fais comme ça)