toolchain-gccarmnoneeabi not available for ARMv7l

[maxgerhardt]

Per community topic.

Compiling any project for the RP2040 on a Raspberry Pi is impossible since the compiler package is missing.

PIO Core Call Error: "Platform Manager: raspberrypi @ 1.0.0 is already installed\nTool Manager: 
Installing platformio/toolchain-gccarmnoneeabi @ ~1.90201.0\n\n\nError: Could not find the package 
with 'platformio/toolchain-gccarmnoneeabi @ ~1.90201.0' requirements for your system 
'linux_armv7l'"

Related to https://github.com/platformio/platform-teensy/issues/51 where I, by hand, compiled toolchains on the Raspberry Pi for ARMv6 and ARM64.