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