Victor-Stefan Jach

SMP: threads get reinserted before their TCB gets saved

3

While trying to use RT-Thread with rp2040 I found in SMP configuration it can happen that ```current_thread``` gets inserted back into the ready thread list before context switch can occur....