circuitpython/ports/stm32/boards/CERB40/mpconfigboard.mk