circuitpython/ports/nrf/boards/microbit/board.json