[coreboot] Patch merged into coreboot/master: 2772620 Fix coreboot makefiles not to produce half baked output.