circuitpython/ports/raspberrypi/boards/sparkfun_thing_plus_rp2040/mpconfigboard.mk