CPUModelSelector: default model is kvm64