CONFIG_ARM64_WORKAROUND_REPEAT_TLBI is not available for thedefaultarchitecture x86.
Result is shown for architecture arm64

CONFIG_ARM64_WORKAROUND_REPEAT_TLBI (not configurable)

configname: CONFIG_ARM64_WORKAROUND_REPEAT_TLBI

Linux Kernel Configuration
└─>Kernel Features
└─>ARM errata workarounds via the alternatives framework
└─>ARM64_WORKAROUND_REPEAT_TLBI
In linux kernel since version 4.2 (release Date: 2015-08-30)