Re: CI.linaro.org needs to be restarted