kernelconfig_penguin
CONFIG_ARM_ERRATA_720789 is not available for the default architecture x86.
Result is shown for architecture arm

ARM errata: TLBIASIDIS and TLBIMVAIS operations can broadcast a faulty ASID

configname: CONFIG_ARM_ERRATA_720789

Linux Kernel Configuration
└─> System Type
└─> ARM errata: TLBIASIDIS and TLBIMVAIS operations can broadcast a faulty ASID

This option enables the workaround for the 720789 Cortex-A9 (prior to
r2p0) erratum. A faulty ASID can be sent to the other CPUs for the
broadcasted CP15 TLB maintenance operations TLBIASIDIS and TLBIMVAIS.
As a consequence of this erratum, some TLB entries which should be
invalidated are not, resulting in an incoherency in the system page
tables. The workaround changes the TLB flushing routines to invalidate
entries regardless of the ASID.