Se voglio guardare la configurazione del kernel corrente come faccio? Deve essere assieme ai sorgenti in /usr/src/kernel-source-2.x.xx (che non c'erano) del kernel installato ?