Merge pull request #2151 from kilograham/rp2040_build_fixes Fix build issues when building for RP2040 from pico-examples/pico-sdk.