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.