Eu me fiz a mesma pergunta há alguns dias e não consegui descobrir. Agora vejo sua lista (talvez não consegui encontrar como obter essa lista?) E as escolhas óbvias parecem ser kvm64 , qemu64 e host . Eu também tentei core2duo e phenom , eles também funcionam.