Re: [PATCH 3/5] x86/lguest/timer: Migrate to new 'set-state' interface