/* * Cause a kernel thread to exit. Assumes the exiting thread is the * current context. */