Looking at the rp2 port code, I can see that there's already an implementation for port_idle_until_interrupt(), but for some reason the wfi instruction is commented out.

When running CircuitPython in the simulator, this makes a huge difference, as you can see:

• Blink with stock CircuitPython 7.0.0-rc.1
• Blink with patched CircuitPython, uncommenting the __wfi() call in port_idle_until_interrupt

Is there any blocker for using wfi on the rp2 port? Is there anything I can do to help with this?