En tiedä onko tämä nyt vähän arveluttava ohje, mutta
jos oikein hätä on, niin 3.14.1 (Trustyyn, siis 14.04) löytyy tuolta
(ei ole virallinen versio vielä , mutta toimii):
http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.14.1-trusty/Lataat molemmat generic-paketit (32 tai 64bit) sekä
molemmille bittisyyksille yhteisen headers-paketin ja asennat dpkg:llä.
sudo dpkg -i linux*
Komento syötetään lataushakemistossa.
Saa poistettua sitten komennolla
sudo dpkg -r PAKETTI katso oikeat paketit päätteen kokoruututilassa komennolla
dpkg -l linux*PS. Kehitysverisossa 14.10 on jo 3.15.x kernel ja kohta siirtynee 3.16.x:ään,
eli tilanne ratkeaa syksyllä viimeistään ilman erikoistoimia.