# CONFIG_X86_INTEL_TSX_MODE_AUTO is not set