I’m going to reboot all the servers sometime after midnight tonight, assuming power is still on and stable at that time, to make effective a kernel upgrade.