Track this apparent bug for our own ESP32-C3 port. - https://github.com/micropython/micropython/issues/8084