Fix task_setup race condition

[Gary-Hobson]

Summary

When a large number of threads are created in SMP, malloc in nxtask_assign_pid may cause thread switching and create new threads. This may lead to accessing invalid pointers.

Impact

Testing