The server will be restarted in a few minutes. This is required for a kernel upgrade.

The downtime is not expected to take more than 5 minutes.

Thank you.