gdbserver: simply copy the pointer in 'set_target_ops'