[PATCH v2 2/2] ntdll: Avoid truncating pointer to 32-bits in get_cpu_area().