circuitpython/ports/esp32s2/boards/microdev_micro_s2/sdkconfig