KVM: VMX: Optimize vmx_get_cpl()