A further small reboot is required as the kernel has not loaded correctly on the first reboot. Sorry folks.
The reboot will start in 5 minutes.
We are required to carry out a small reboot of node 12 to boot into a different kernel as part of ongoing security optimisations. This will result in a brief outage for 15 minutes.