Mise a jour du fichier TODO : kernel_version