Bij het update overzicht van mijn systeem, zie ik regelmatig, dat er een nieuwe kernel beschikbaar is.
Na de update (zowel bij Ubuntu 10.04 als bij de testversie van Ubuntu 14.10) , komt het regelmatig voor, dat de nieuwe kernel niet in het grub-menu voorkomt.
Als ik dan ga kijken bij Synaptic, blijkt dat de nieuwe headers wel zijn geïnstalleerd, maar de linux-image en de linux-image-extra niet zijn geïnstalleerd.
Tot nu toe installeer ik het steeds handmatig vanuit synaptic. Maar dit moet toch automatisch gaan.
Iemand een idee, waarom dit zo is?