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!
These answers are provided by our Community. If you find them useful, show some love by clicking the heart. If you run into issues leave a comment, or add your own answer to help others.