Re: [PATCH 1/2] domain: add tsc.on_reboot element