@Qid,
@bishop :
Merci pour vos retours !
Je faisais bien un
update-grub depuis la 12.04, mais à chaque fois le dernier noyau reconnu était le 3.13.0-20.
J'en ai profité pour faire un peu de ménage dans les noyaux avec Synaptic, et là j'ai tout de suite vu quel était le problème :p
Le paquet
linux-image-3.13.0-24-generic n'était tout simplement pas installé, mais j'ignore pourquoi car mon système était supposé être à jour.
Après installation manuelle + un
update-grub, je peux démarrer sur le dernier noyau 😉
