The led is not connected to a rp2040 gpio port but to the bluetooth module.
So the PICO_DEFAULT_LED_PIN in the blink.c example points to nothing and will never work on GPIO.
