Couple of small typo fixes and add a link to the ARM toolchain