Fix 'mon help' commands in GDBServer. Cleanup after code review.