Brendan Shanks : ntdll: Avoid truncating pointer to 32-bits in get_cpu_area().