Good morning All 
Late last week I purchased a Pi Pico board and a Arduino Nano RP2040 Connect, with an J-Link EDU mini (dated 9th week year 21)...
I then did a firmware update to EDU mini, it was dated 7th June 2021.
Then in PlatformIO I then tested the Pi Pico with the classic Blinking LED sketch, this is where the problem showed. On first upload was
with out error and the LED blinked. On the second upload of the identical sketch the RP2040 appeared to go in to a low power stupor of
about 5mA and it's serial port disappeared. The only thing that would bring it back is a power cycle / reset...
To test further I directly took the compiled hex from PlatformIO as well as a hex file compiled by Arduino IDE 2.0b6 and uploaded them
directly via Segger J-Flash Lite V7.20, I did so to bypass any possibility configuration error by PlatformIO or Arduino IDE.
This was also done both a Win10 and Mx Linux (Debian based) machine...
Was about this time I crossed paths with another Maker / Hobbyist on line, he did the same test with his MacOS and also used blinky
hex file compiled from Pi Pico SDK (bare metal) the result was the same, upload was also done via Segger J-Flash Lite V7.20....
Five days later I then purchased a full size J-Link EDU hw version 11 (dated 9th week year 21), firmware updated. The exactly same
issue showed it self as described above...
Below shows result of the first and second upload via Segger J-Flash Lite V7.20 ....

Late last week I purchased a Pi Pico board and a Arduino Nano RP2040 Connect, with an J-Link EDU mini (dated 9th week year 21)...
I then did a firmware update to EDU mini, it was dated 7th June 2021.
Then in PlatformIO I then tested the Pi Pico with the classic Blinking LED sketch, this is where the problem showed. On first upload was
with out error and the LED blinked. On the second upload of the identical sketch the RP2040 appeared to go in to a low power stupor of
about 5mA and it's serial port disappeared. The only thing that would bring it back is a power cycle / reset...
To test further I directly took the compiled hex from PlatformIO as well as a hex file compiled by Arduino IDE 2.0b6 and uploaded them
directly via Segger J-Flash Lite V7.20, I did so to bypass any possibility configuration error by PlatformIO or Arduino IDE.
This was also done both a Win10 and Mx Linux (Debian based) machine...
Was about this time I crossed paths with another Maker / Hobbyist on line, he did the same test with his MacOS and also used blinky
hex file compiled from Pi Pico SDK (bare metal) the result was the same, upload was also done via Segger J-Flash Lite V7.20....
Five days later I then purchased a full size J-Link EDU hw version 11 (dated 9th week year 21), firmware updated. The exactly same
issue showed it self as described above...
Below shows result of the first and second upload via Segger J-Flash Lite V7.20 ....