kernelconfig_penguin
CONFIG_ARM64_WORKAROUND_REPEAT_TLBI is not available for the default architecture 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