KVM: VMX: Avoid duplicate ept tlb flush when setting cr3