[coreboot-gerrit] Patch merged into coreboot/master: lint: properly terminate junit report on error