content/docs/reference/microcontrollers : pico*-w.md - incorrect on-board LED description

[DeeJay]

content/docs/reference/microcontrollers : pico*-w.md - incorrect on-board LED description

both pico-w.md and pico2-w.md state that the onboard LED can be accessed via GPIO25.

This is not the case.

For RPi Pico 'W' variants (both RP2040 and RP2350 based) with a cyw43439 wireless chip the GPIO25 line is used to drive that chip which now indirectly manages the on-board LED. The same may be true of hardware from other suppliers also using this wireless chip.