Examples: GDB: Corrected example openocd config.

Apparently comments in the same line as commands are
not allowed.