kernelconfig_penguin
CONFIG_ARM64_TLB_RANGE is not available for the default architecture x86.
Result is shown for architecture arm64

Enable support for tlbi range feature

configname: CONFIG_ARM64_TLB_RANGE

Linux Kernel Configuration
└─> Kernel Features
└─> ARMv8.4 architectural features
└─> Enable support for tlbi range feature

ARMv8.4-TLBI provides TLBI invalidation instruction that apply to a
range of input addresses.

The feature introduces new assembly instructions, and they were
support when binutils >= 2.30.