I don't know if this is the right repo for this issue but it's the only RP2350-specific one I could find. See also issue raspberrypi/pico-sdk#1985.
As you probably know, the Pico SDK has a directory with header files for all the supported boards: https://github.com/raspberrypi/pico-sdk/tree/master/src/boards/include/boards The Pimoroni Pico Plus 2 is there but the Plus 2 W is not. Can you supply a header file in their format for the Pimoroni Pico Plus 2? Thanks!!