cleanup, fix cpu_switch_context_exit