Moved main thread tcb allocation in ULT.h