gdbserver: fix duplicate declaration