Replace T_TCB with thread_t.
Delete header file 'kernel/config.h'.