These BSP's are using older versions of the pico-sdk. The best fix would be for them to update. But that may never happen. Options are: (a) use a different BSP (ex: arduino-pico) or (b) revert to an ...