Add formula for ARM GCC toolchain