[coreboot] Patch merged into coreboot/master: 17b24d3 abuild: produce valid junit files