circuitpython/ports/stm/boards/stm32f4_discovery/mpconfigboard.mk