scripts/gdb: add get_gdbserver_type helper