GDB Stub for RP2040 This defines the command line to use when make gdb is run. TODO: Implement stub code to allow serial debugging.