circuitpython/nrf5/boards/microbit/mpconfigboard.mk