On 9 April 2015 at 15:35, steve-ALUG@hst.me.uk wrote:
Nope, not necessarily. At boot time, grub displays (or more often than not nowadays, does not display) a boot-menu, from which you can choose which kernel version is loaded.
I didn't check the boot menu but I did check /boot and I only had the older kernel.
I have however fixed it. For some reason I did not have linux-generic installed, it looks like I had a specific kernel version installed (not sure how?). Therefore I wasn't getting any kernel updates, and the assumption that linux-headers-generic would coincide with my kernel was false.
I'd love to know how I got latched onto a single kernel though.