test failure

Seen in #100 CI tests, but unrelated to the PR:

```
Testing compat/reg.esp32.S
	Building using micropython-esp32-ulp (esp32)
	Building using binutils (esp32)
compat/reg.esp32.S:8:10: fatal error: soc/rtc_cntl_reg.h: No such file or directory
    8 | #include "soc/rtc_cntl_reg.h"
      |          ^~~~~~~~~~~~~~~~~~~~
```
