pub unsafe fn switch_to_kernel()
This must never be called while we are in a process context and using any process specific memory regions