Merge pull request #403 from gilles-peskine-arm/redirect-to-arm-software

docs: Redirect to arm software