libgmp is only needed for the full gdb and not for the gdbserver application. Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>