Release 4

Changelog:

• Pico:
  • Releases for the RP2350 based Pico 2 boards are now available.
• Linux:
  • No linux specific changes
• Common:
  • Kernel code built with latest devkitARM.