Restart FreeRTOS kernel on POSIX port

I will share with someone in my team. Thank you for your change.