This has been completed.
30 mins to go for the reboot.
We'll be doing this tomorrow at 2 PM GMT.
We'll be doing a kernel upgrade on the node DE9, this shouldn't take more than 10 - 15 minutes from start to complete. We will announce a time and date for this shortly.