Resent heb ik op 2 systemen Ubuntu 12.04.3 LTS geinstalleerd.
Als ik op het ene systeem "sudo apt-get dist-upgrade" draai download ik kernel 3.2.0.57.
Als ik op het andere systeem "sudo apt-get dist-upgrade" draai download ik kernel 3.8.0-34.
Kernel 3.8.0-34 lijkt mij nieuwer dan kernel 3.2.0.57. :-)
Waarom blijft het eerste systeem "steken" op kernel 3.2.0.57 als er ook een nieuwere kernel 3.8.0-34 beschikbaar is?
Ook kernel 3.8.0-34 valt toch onder Ubuntu 12.04.3 en niet onder Ubuntu 12.10 of 13?