micropython/stmhal/boards/CERB40/mpconfigboard.mk