Revert adafruit#5341. Does not work on power-cycle.

dhalbert · dhalbert · commit a5dc0fef5f1f · 2021-09-16T11:59:43.000-04:00
diff --git a/ports/raspberrypi/supervisor/port.c b/ports/raspberrypi/supervisor/port.c
@@ -238,8 +238,9 @@ void port_interrupt_after_ticks(uint32_t ticks) {
 void port_idle_until_interrupt(void) {
     common_hal_mcu_disable_interrupts();
     if (!background_callback_pending()) {
-        asm volatile ("dsb 0xF" ::: "memory");
-        __wfi();
+        // TODO: Does not work when board is power-cycled.
+        // asm volatile ("dsb 0xF" ::: "memory");
+        // __wfi();
     }
     common_hal_mcu_enable_interrupts();
 }

Original file line number	Diff line number	Diff line change
`@@ -238,8 +238,9 @@ void port_interrupt_after_ticks(uint32_t ticks) {`
`238`	`238`	`void port_idle_until_interrupt(void) {`
`239`	`239`	`common_hal_mcu_disable_interrupts();`
`240`	`240`	`if (!background_callback_pending()) {`
`241`		`- asm volatile ("dsb 0xF" ::: "memory");`
`242`		`- __wfi();`
	`241`	`+ // TODO: Does not work when board is power-cycled.`
	`242`	`+ // asm volatile ("dsb 0xF" ::: "memory");`
	`243`	`+ // __wfi();`
`243`	`244`	`}`
`244`	`245`	`common_hal_mcu_enable_interrupts();`
`245`	`246`	`}`