Reboot manager for the CoreOS update engine