circuitpython/esp8266/scripts/_boot.py