Linux ARM platfrom: gcc 9.x

Yes, override the toolchain-gccarmlinuxgnueabi package with a locally download GCC 9.x version as e.g. explained in the “Packages” section of here.