circuitpython/ports/esp32/boards/GENERIC/mpconfigboard.mk