circuitpython/nrf/boards/microbit/mpconfigboard.mk