Hello, by default the latest debian image is based upon kernel 3.4.39 I have iinstalled the latest 3.16 using synaptic, but at reboot, I see that 3.4.39 is still started I have also installed grub and the grub.cfg contains 3.16 using update-grub (vmlinuz and initrd.img are both 3.16) Am I missing a ...