[PATCH 0/2] Small memory-writing gdbserver improvements

[Tom Tromey]

I noticed a comment in gdbserver referring to cleanups, so I fixed
that; and then added on a patch to remove write_inferior_memory in
favor of target_write_memory.

Tested by the buildbot.

Tom