x86_64 Haswell-noTSX Intel