Use the CYW43 pins provided by the board

Author: arturo182

ports/raspberrypi/supervisor/port.c

@@ -317,10 +317,10 @@ safe_mode_t port_init(void) {
     critical_section_init(&background_queue_lock);
 
     #if CIRCUITPY_CYW43
-    never_reset_pin_number(23);
-    never_reset_pin_number(24);
-    never_reset_pin_number(25);
-    never_reset_pin_number(29);
+    never_reset_pin_number(CYW43_DEFAULT_PIN_WL_REG_ON);
+    never_reset_pin_number(CYW43_DEFAULT_PIN_WL_DATA_IN);
+    never_reset_pin_number(CYW43_DEFAULT_PIN_WL_CS);
+    never_reset_pin_number(CYW43_DEFAULT_PIN_WL_CLOCK);
     #endif
 
     // Reset everything into a known state before board_init.