Paul Gofman : ntdll: Fill ActiveProcessorCount field in _KUSER_SHARED_DATA.