Make hot reboot optional

Change-Id: Ia0f4115f6187b246a8dd94e417193c54a40f0044