Rebooted the server for a new kernel.