Manually updating a Ubuntu kernel
For some reason that I've yet to get to the bottom of, on my Ubuntu server box the kernel wasn't getting updated (the header files to go with the kernel definitely were, but the kernel itself seemed to stay stuck.
To manually update to a kernel level:
-
sudo apt-get install linux-image-extra-4.4.0-xx-generic