This will convert a 16:16 SS:SP back to the 16:32 SS:ESP convention.
VOID APIENTRY KernThunkStackTo32(VOID);
None.
This is supposedly to be called after returning from 16 bit code.