Symbol: MSR_IA32_VMX_EPT_VPID_CAP