Cambiata versione del kernel delle macchine di Travis CI