Kromě taktu se láší velikostí cache pamětí což u některých aplikací může přínést desítky procent nahoru.
Volil bych tedy to core2duo.

Pokud tomu dobře rozumím tak bez VT-x /musí podporovat procesor i deska*/ neuděláš virtualizaci 64bit os ale jen 32bitových.

*nevím jestli se podle těch cpu nepokoušíš o nějaký notebook kde to zaplé být nemusí!