[PATCH] vmx: support HPET timers configuration