ThreadX modules and SMP

[yf13]

@billamiework and @goldscott, can you teach if ThreadX modules support SMP or not?

On one side, we have ports_module/cortex_a35_smp, so modules should support SMP already.

On the other side, I got following error when building modules with my RiscV SMP port:

[243/342] Building C object CMakeFiles...txm_module_manager_thread_create.c.obj
...
txm_module_manager_thread_create.c:671:30: warning: assignment to 'TX_THREAD *' {aka 'struct TX_THREAD_STRUCT *'} from incompatible pointer type 'TX_THREAD **' {aka 'struct TX_THREAD_STRUCT **'} [-Wincompatible-pointer-types]
  671 |             saved_thread_ptr =  _tx_thread_execute_ptr;