Graag gedaan!
Overigens: het installeren van updates voor de 3.16-kernel kan geen kwaad, want die gebruik je toch niet.
Wel zou je de 3.19-kernel kunnen vastpinnen op z'n huidige subversie, zodat je er nooit updates voor zult krijgen (en er dus ook niks mis mee kan gaan). Dat kan door eenvoudigweg de PPA van het kernelteam uit te schakelen.
Dat verdient overweging, want het installeren van de 3.19 is, zoals gezegd, nogal een paardemiddel geweest. Nu werkt het blijkbaar goed, maar kernel-updates voor de 3.19 zouden dat in de war kunnen sturen: die kans is groter dan bij updates voor een reguliere kernel voor Ubuntu 14.04.
