[loeg]

TSX was broken on Haswell CPUs. I don't know which specific newer microarchitecture fixes TSX. Microcode updates have disabled TSX on Haswell for a long time.

[bonzini]

Haswell Xeon E7 do not have the bug and they do enable TSC.