Do we know enough yet what we need to do to be able to support [RP2350](https://www.raspberrypi.com/news/raspberry-pi-pico-2-our-new-5-microcontroller-board-on-sale-now/) instead of just RP2040?