Fix build issue with status led#2600

kilograham merged 1 commit intoraspberrypi:developraspberrypi/pico-sdk:developfrom

peterharperuk:status_led_build_issuepeterharperuk/pico-sdk:status_led_build_issueCopy head branch name to clipboard