TRBE_IS_BROKEN
[TRBE_IS_BROKEN] = ARM64_WORKAROUND_1902691,
return trbe_has_erratum(cpudata, TRBE_IS_BROKEN);