x86_64 SandyBridge Intel x86_64 Haswell-noTSX Intel