gdb_server: support disabling server