circuitpython/esp8266/modules/_boot.py