Microsoft Windows Server 2008 R2 UEFI with 1 TB of RAM bugcheck on unexpected reboot - IBM System x3850 X5 - DK