Kernel change has no effect
I used the Control Panel to change my kernel from
Ubuntu 14.04 x64 vmlinuz-3.13.0-37-generic to
Ubuntu 14.04 x64 vmlinuz-3.13.0-40-generic.
The Control Panel now shows
Your droplet's current kernel: Ubuntu 14.04 x64 vmlinuz-3.13.0-40-generic
uname -ri on my droplet gives
3.13.0-37-generic x86_64, so I think the kernel has not actually been updated.
ls /lib/modules shows
I have rebooted and apt-get update / upgrade / dist-upgraded several times, to no avail.
Thanks for any help!