We can confirm that the system is fully operational now. The issue was due to incorrect PSU redundancy settings on HKG12C0330, which failed during the power maintenance. We will issue compensation and provide a detailed RFO in a separate notification soon.