ArchLinux kernel updater for DigitalOcean