nds32: support FreeRTOS