[GigaPower]

Vai con la seconda opzione

Generalmente l'errore nel file kernel non è dato dallo stesso file ma c'è qualche conflitto o problema nel sistema che lo crea, quindi il problema non lo risolveresti semplicemente sovrascrivendo quel file...