13b0500f02
- Use cpu_throw() instead of cpu_switch() during cpu_exit() since we don't need to save our previous state.