micropython/ports/stm32/mpconfigport.mk