gdb_server: fix a comment in gdb_new_connection()