Adjusted to renaming of TCB in NuttX