Re: [PATCH 0/3] Fix VMX-* feature detection from MSR