Why doesn’t Windows use the 64-bit virtual address space below 0x7ffe0000? (devblogs.microsoft.com)