Kernel updater script for OVH dedicated servers