gic_arm64_erratum_2941627_needed
if (gic_arm64_erratum_2941627_needed(d)) {
if (!gic_arm64_erratum_2941627_needed(d))