Moin!
du bist anscheinend weit voraus. Mein vor etwa 3..4 Monaten frisch "from scratch" installiertes Mint 17.2 sagt mir, es hätte einen 3.0.16-Kernel aus Ubuntu 14.04.1. Oder war deine Angabe 4.2 nur ein willkürliches Beispiel?
Im Prinzip geht das. Mein Raspi mit Ubuntu 14.04.3 LTS hat einen Kernel 4.1.17-v7+ armv7l.
Auch auf einem Laptop habe ich einen Kernel der 4.1-ser Serie: Nur muss ich den (zum Glück nicht deinstallierten) alten Kernel booten wenn ich VM-Ware benutze, weil die sonst wieder nach einer funkelnietennagelneuen gcc-Version schreit, die nicht vorhanden ist.
Jörg Reinholz