Re: [PATCH 5/5] x86/xen/time: Migrate to new 'set-state' interface