x86_64 Haswell-noTSX-IBRS Intel