Fixed the ExecPS2() patch for the Protokernel. The threads were not being
terminated and deleted properly because the TCB of each thread wasn't
being correctly accessed.