Add kern_thread_raise() sys call to raise an exception