Kernel - Added (possibly buggy) support for WaitTID(TID>0)