[coreboot-gerrit] New patch to review for coreboot: 38f2147 what-jenkins-does: kill build results early