micropython/stmhal/boards/STM32F769DISC/mpconfigboard.mk