micropython/ports/stm32/boards/STM32F439/mpconfigboard.mk