Re: [PATCH] vmx: support HPET timers configuration