Are you using the ArduinoCore-mbed or Arduino-Pico in your platformio.ini?
For ArduinoCore-mbed see
(You would need to construct a new SPI object and pass it into the RadioHead lib for it to use it).
For Arduino-Pico see
(You can simply call SPI.setSCK(xxx); etc to change all pins.)