monitor: Support STATES_MIGRATING
score: Typo
score: Add STATES_RESTARTING

Use separate state for thread restart.
score: _Scheduler_priority_Ready_queue_requeue()

Delete unused function _Scheduler_priority_Ready_queue_requeue().
score: Add and use _Scheduler_Get_context()