Remove linux-specifics from threading

The `tgkill()` system call is linux-specific. The `gettid()` call is also not necessarily mapped directly to each thread of execution in pthreads.