Initial macros to save and restore kernel voluntary context-switch state
using our kernel micro-ABI.
When the kernel voluntarily context switches a kernel thread (e.g., due
to sleeping on an in-kernel condition variable), or saves it state for
the kernel debugger, also save our micro-ABI CHERI register state in the
thread's PCB.