micropython/stmhal/boards/STM32F4DISC/mpconfigboard.mk