Symbol: cpu_has_vmx_tpr_shadow