# CONFIG_ERRATA_THEAD is not set
