Comment Comment by ptrincr The below should be followed at the users own risk. Perhaps someone can confirm if the following is sane.For Ubuntu versions: Ubuntu 12.04.3 LTS Ubuntu 14.04.5 LTS The following should get you patched up, you will need a reboot though: sudo apt-get update sudo apt-get install linux-headers-3.13.0-110 linux-headers-3.13.0-110-generic linux-image-3.13.0-110-generic After reboot: uname -a Linux hostname 3.13.0-110-generic #157-Ubuntu Any Digital Ocean users may need to power down their droplet and switch the kernel to the following version: DigitalOcean GrubLoader v0.2 (20160714) Ubuntu Without this the new kernel may not be used. parent ptrincr 9 years ago
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.