remote target pid_to_string for gdb.server/ext-attach.exp (incomplete) Change-Id: I7c3e70dbb78ed0e112fff15356ba824199fa95d3