# CONFIG_X86_INTEL_TSX_MODE_OFF is not set
