[bonzini]

For what it's worth, it's TSX (hardware transactional memory), not TXT (secure firmware). It's a very niche feature, compared to hyperthreading.