circuitpython/stmhal/mpconfigport.mk