# CONFIG_ERRATA_MIPS is not set
