Another thread might be in the middle of an SVC, thus altering the state of the schedulers.

General moving to keep kernel object types separate from the direct
kernel code. Also essentially a preliminary cleanup before eliminating
global kernel state in the kernel code.