Add gcc-arm/bin to PATH, allowing an installed version of the GCC ARM
toolchain to be found.