Symbol: cpu_has_vmx_msr_bitmap