Raspberry pi pico unable to use 2 hardware serial ports (Serial1&2)

I was redirected here form platfromIO to open an issue about it.
( https://github.com/platformio/platform-raspberrypi/issues/3 )

I've been trying it read my gps module for a project and decided to use the pi pico for it, however even though it "sees" the connection (no check wire connection message) it receives no data.

i used the default "FullExampel" file from the TinyGPS library
i removed SoftwareSerial because there is no interrup.h file and replaced it with Serial1 (RP pi pico should be able to have 2 hardware serial connections)

GPS lock is established (red led)

data from serial console

Start with the Raspberry Pi Pico Serial1 and Serial2 entry points and reproduce the report using TinyGPS's FullExample, replacing SoftwareSerial as described. Compare behavior with the linked PlatformIO issue and verify as done when both hardware serial ports can receive GPS data reliably on the Pico.

Written by the indexing model from the issue text.