Does provision check correct version for ARM boards ?

That all sounds right to me I think?

provision.sh just checks that there's a gcc-arm-none-eabi on the path, not which version it is.

Since provision.sh is expecting that GCC won't be installed, it adds it to the end of the path by default - so if it was previously installed and you ran the old code manually then the old one would have ended up being used.