Ciao Marco,
su pc il kernel in genere non si snellisce, perche' quasi tutti i device sono rilevati dinamicamente nei bus (PCI, USB) etc, quindi si compilano tantissimi moduli da caricare runtime [M] che vengono caricati solo se serve, se inserisci una chiavetta, un modem, o un giorno monti una diversa scheda pci, etc, i moduli da caricare (.ko) son gia tutti disponibili in /lib/modules/versione etc. Ecco perche la compilazione (make, make modules_install etc) nel totale, per pc, e' molto lunga. Ovviamente puoi divertirti a snellirlo, sapendo questo.
Su schedine embedded invece, cambia tutto, l'ottimizzazione del kernel e' spesso anche se non sempre "fondamentale", si compilano [*] o [M] solo i driver che servono per l'hardware presente definito nel "devicetree". Poi piu piccolo viene il kernel, ovviamente, se non ci sono errori grossolani o problemi di "probe", per una serie di motivi, piu veloce sara' il boot. Poi ci sono tutta una serie di strategie per boot veloce, e/o ridurre la dimensione del binario.
per far prove puoi partire o dai default
make x86_64_defconfig
o dalla configurazione che hai
make olddefconfig
Il kernel ufficiale "mainline", o vanilla, o upstream lo trovi sempre su kernel.org, mainline master e' la testa dello sviluppo.
Se sei interessato la kernel, questo e' un wiki scritto da me e un altro amico, per collezionare info utili, puoi vedere se ci trovi qualcosa di interesante
http://solidground.baselinux.net/doku.php
http://solidground.baselinux.net/doku.php?id=knowledge-base:compiling-mainline-pc