Symbol: IA32_FEATURE_CONTROL_VMX_EN