circuitpython/ports/rp2/boards/PICO/board.json