cc:andjo403@hotmail.com,cc:linaro-toolchain@lists.linaro.org,cc:benny.kra@googlemail.com,bcc:tcwg-validation@linaro.org,cc:pedro.lobo@tecnico.ulisboa.pt,cc:a.bataev@outlook.com,cc:i@maskray.me