* config/gdbserver.exp (gdb_load): Handle the case
in which the arguments to gdbserver are given in the
baseboard configuration file.
Also handle the case in which the server needs to do a
load.
* config/gdbserver.exp: Rewritten from the ground up, to make it
compatible with the current dejagnu tree, and to make it work with
the new "gdbserver" in libremote.