Intel Coreってまだ32bitしかないじゃん。

SPEC.orgにあるT1000/T2000のSPECjbbのresultが
32bit版VMしか無いけど、なんか理由あるのかな。