[Maintenance] - ci.linaro.org down time 02/05/2018