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