Upgrading Kernel on Spectrum Servers