>Allora mi chiedo se ci sia un modo, partendo dal kernel che viene installato durante >l'installazione di risalire al suo .config e modificare quello a proprio piacimento. Guarda (vado a memoria) in /boot/grub/leggiti_i_file E ci dovrebbero essere i config dei kernel installati