Correzione di Alessio Frusciante ad un errore di versione del kernel.