(megoldva) ubuntu 14.10 nem frissült a kernel

Hali!

14.04.1-re feldobtam a 14.10-et. A frissítés látszólag rendben lezajlott, ám azt vettem észre, hogy 3.13.0-36 maradt a kernel verzióm... holott annak már 3.16-nak kellene lenni. A frissítéskezelő szerint naprakész vagyok. Próbáltam a magyar szerverről átállítva fő szerverre is.

Szerintetek mi a teendő, hogy megnyerjem az újabb kernelt?

Minden választ előre is köszönök.

Üdv: Feri