cxplat_kernel when running against usersim does the wrong thing in cxplat_get_current_processor_number

The issue is that cxplat_get_current_processor_number calls KeGetCurrentProcessorIndex, which is an inline function that expands to:
```c
return __readgsdword(0x1a4);
```

Which doesn't work when running in user mode.