cc:linaro-toolchain@lists.linaro.org,cc:aokblast@FreeBSD.org,cc:nikolasklauser@berlin.de,bcc:tcwg-validation@linaro.org,cc:ldionne.2@gmail.com,cc:rkonicar@mail.muni.cz,cc:benjamin.maxwell@arm.com