Comment 8 for bug 1767223

Yes, I think aside from building your own libc (and I'm not even certain that would fix it) the only alternative at present is to use a different toolchain or build your own. The binary toolchains from ARM (https://developer.arm.com/open-source/gnu-toolchain/gnu-rm/downloads) do however work fine.