Merge pull request #7362 from Neradoc/add-status-led-pico

Add GP25 as status LED on the Raspberry Pi Pico

Author: tannewt

ports/raspberrypi/boards/raspberry_pi_pico/mpconfigboard.h

@@ -1,5 +1,7 @@
 #define MICROPY_HW_BOARD_NAME "Raspberry Pi Pico"
 #define MICROPY_HW_MCU_NAME "rp2040"
 
+#define MICROPY_HW_LED_STATUS (&pin_GPIO25)
+
 #define CIRCUITPY_BOARD_I2C         (1)
 #define CIRCUITPY_BOARD_I2C_PIN     {{.scl = &pin_GPIO5, .sda = &pin_GPIO4}}