[PATCH v3 14/20] doc: Update coreboot's CI information