GDBServer: Dead threads aren't cleared out
They just stick around forever, with their program counter pointing at a syscall to `sys_exit` in pthread's `start_thread`

Probably related to #760