Is there any way to use this platform in PIO using a specific release of board_build core earlephilower.

[lucbenoit01750]

Hello,
My project uses an RP240.
I have the following config in platformio.ini
;[env:pico]
platform = https://github.com/maxgerhardt/platform-raspberrypi.git
board = RP2040
framework = arduino
board_build.core = earlephilhower
I would like to specify the release 3.9.5 (latest with old RPI SDK)
Is this feasible ?
Thanks and best regards,
Luc