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