assolutamente no ho controllato anche i cd ma non ci sono dentro quindi come potrei averli installati grazie comunque su kernel.org quella versione non c'è e comunque un'altra non la posso ricompilare se prima non trovo sto file .config