micropython/ports/stm32/boards/NUCLEO_H743ZI2/board_init.c