micropython/stmhal/mpconfigport.mk