New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/issues/19290#issuecomment-829514583

Comment:
I'm not sure how worth it solving this is, because people will still be using toolchains built for glibc, since arduino downloads them from a single server...