Set cyw43 power management to disabled at boot time

Author: jepler

ports/raspberrypi/bindings/cyw43/__init__.c

@@ -54,7 +54,7 @@ const mp_obj_type_t cyw43_pin_type = {
 //| PM_PERFORMANCE: int
 //| """Performance power management mode where more power is used to increase performance"""
 //| PM_DISABLED: int
-//| """Disable power management and always use highest power mode"""
+//| """Disable power management and always use highest power mode. CircuitPython sets this value at reset time, because it provides the best reliability."""
 //|
 //| def set_power_management(value: int) -> None:
 //|     """Set the power management register

ports/raspberrypi/supervisor/port.c

@@ -59,6 +59,7 @@
 #include "src/rp2_common/hardware_timer/include/hardware/timer.h"
 #if CIRCUITPY_CYW43
 #include "pico/cyw43_arch.h"
+#include "bindings/cyw43/__init__.h"
 #endif
 #include "src/common/pico_time/include/pico/time.h"
 #include "src/common/pico_binary_info/include/pico/binary_info.h"
@@ -139,6 +140,8 @@ safe_mode_t port_init(void) {
     if (cyw43_arch_init()) {
         serial_write("WiFi init failed\n");
     } else {
+        cyw43_wifi_pm(&cyw43_state, PM_DISABLED);
+
         cyw_ever_init = true;
     }
     #endif