gdbserver/linux-x86: make is_64bit_tdesc accept thread as a parameter