FLAGS_WORKAROUND_ASR_ERRATUM_8601001
d->flags |= FLAGS_WORKAROUND_ASR_ERRATUM_8601001;
if (unlikely(gic_data.flags & FLAGS_WORKAROUND_ASR_ERRATUM_8601001))