# CONFIG_PL310_ERRATA_727915 is not set