for example for precise the kernel ID is 7515 for the "DigitalOcean GrubLoader v0.2 (20160714) Ubuntu" kernel. If you do this be sure to double-check the id by listing the kernels using the API though. You can also do this with libcloud using 'ex_change_kernel' from the 'DigitalOcean_v2_NodeDriver'
For Ubuntu versions:
The following should get you patched up, you will need a reboot though: After reboot: Any Digital Ocean users may need to power down their droplet and switch the kernel to the following version: Without this the new kernel may not be used.