[Maintenance] - ci.linaro.org down time 11/05/2019