il dovrebbe è perché è un bel po' che non compilo più Linux e quindi non so se è cambiato il percorso.
Guardati questo libro: guide.debianizzati.org/index.php/Linux_Kernel_in_a_Nutshell
Ciao Davide
-- Ok, gràzie! Ciao