restbase1011 failed to come up after a reboot, here's what was printed to the serial console:
(..) 2 Processor(s) detected, 16 total cores enabled, Hyperthreading is enabled Proc 1: Intel(R) Xeon(R) CPU E5-2630 v3 @ 2.40GHz Proc 2: Intel(R) Xeon(R) CPU E5-2630 v3 @ 2.40GHz QPI Speed: 8.0 GT/s HP Power Profile Mode: Balanced Power and Performance Power Regulator Mode: Dynamic Power Savings Advanced Memory Protection Mode: Advanced ECC Support Inlet Ambient Temperature: 21dC / 69dF Boot Mode: Legacy BIOS Redundant ROM Detected - This system contains a valid backup system ROM HP SmartMemory authenticated in all populated DIMM slots. For access via BIOS Serial Console: Press 'ESC+9' for System Utilities Press 'ESC+0' for Intelligent Provisioning Power and Thermal Calibration ... nu ASSERT u:\MdeModulePkg\Core\Dxe\Mem\Pool.c(433): CR has Bad Signature ASSERT u:\MdeModulePkg\Core\Dxe\Event\Event.c(779): !EFI_ERROR (Status) ASSERT u:\MdeModulePkg\Core\Dxe\Mem\Pool.c(433): CR has Bad Signature ASSERT u:\MdePkg\Library\BaseLib\LinkedList.c(545): !IsListEmpty (Entry) ASSERT u:\MdePkg\Library\BaseLib\LinkedList.c(545): !IsListEmpty (Entry)