Ce qu'il faut c'est suivre la procédure, aller sur le site indiqué sur la boite
et télécharger le bon kernel!