[coreboot] Patch merged into coreboot/master: 1a5301d abuild: only rebuild boards if requested or after a broken build