@knuthollund Oh, it's just that the apt package for the kernel that was installed was "linux-image-3.2...." Instead, I wanted the "always latest kernel available", which (for 64bit machines) is provided by the virtual package "linux-image-amd64". So just: apt-get install linux-image-amd64
You probably don't need linux-headers-amd64 unless you're compiling stuff. But you _do_ want the 3.16 kernel as instructed above ;)