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