ci.linaro.org reboot