[sepia] Re: Jenkins upgrade/reboot