C'est parce qu'il y'avait une différence entre le dernier kernel-header disponible au téléchargement et le kernel en fonctionnement et/ou le kernel que tu viens d'installer par un update.