[coreboot-gerrit] Patch set updated for coreboot: what-jenkins-does: Add building chromeos configurations