quali sono i file per aggiornare il kernel ne ho scaricati diversi ma ma con l'aggiornamento automatico non mi li riconosce e mi dice di riscaricarli???