終了した(TH_TERMINATE)スレッドのCleanUp処理(スタックの解放など)を行うカーネルスレッド。実体はthread_terminate_daemon()

thread_terminate_enqueue()でTH_TERMINATEスレッドがQueue(thread_terminate_queue)に積まれると動きだす。

スケジューラから直接スレッドの解放を行わずに、カーネルスレッドで実装しているはCleanUp処理を後回しにしてスケジューリングのレスポンス向上のためだと思われる。