Ora, dato che sono testardo e voglio capire cosa dimentico/sbaglio, mi sapete
indicare dove reperire il .config usato per generare le immagini precompilate
da Debian ?
basta che installi le immagini precompilate, vengono installati anche tutti i config nella directory di boot.