You should be able to use the new platform_packages feature (docs)
platform_packages =
toolchain-gccarmnoneeabi@1.80201.181220
You should be able to use the new platform_packages feature (docs)
platform_packages =
toolchain-gccarmnoneeabi@1.80201.181220