Comment-out the debugging printf I left in in case there were some

packet related problems. No problems have been reported.

sys/gdb/gdb_main.c

@@ -111,7 +111,7 @@ gdb_trap(int type, int code)
 
 	thr_iter = NULL;
 	while (gdb_rx_begin() == 0) {
-		printf("GDB: got '%s'\n", gdb_rxp);
+		/* printf("GDB: got '%s'\n", gdb_rxp); */
 		switch (gdb_rx_char()) {
 		case '?':	/* Last signal. */
 			gdb_tx_begin('S');