/proc/cpuinfo for the 64-bit machine is:

	processor	: 0
	vendor_id	: GenuineIntel
	cpu family	: 6
	model		: 42
	model name	: Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
	stepping	: 7
	microcode	: 0x28
	cpu MHz		: 3392.359
	cache size	: 8192 KB
	fpu		: yes
	fpu_exception	: yes
	cpuid level	: 13
	wp		: yes
	flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts mmx fxsr sse sse2 ss syscall nx rdtscp lm constant_tsc up arch_perfmon pebs bts nopl xtopology tsc_reliable nonstop_tsc aperfmperf pni pclmulqdq ssse3 cx16 pcid sse4_1 sse4_2 x2apic popcnt aes xsave avx hypervisor lahf_lm ida arat epb xsaveopt pln pts dtherm
	bogomips	: 6784.71
	clflush size	: 64
	cache_alignment	: 64
	address sizes	: 40 bits physical, 48 bits virtual
	power management: