# CONFIG_X86_INTEL_TSX_MODE_ON is not set