As per the scheduled maintenance, the kernel has been upgraded on the problem node and all servers are active.
We have been monitoring the node and all looks well.
We are sorry for any inconvenience this may have caused.
