# CONFIG_ARM_ERRATA_411920 is not set