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