Make hot reboot optional

Change-Id: I682b4ee176ee03ee60f06618f436f19d3f328bb7