[coreboot] Patch set updated for coreboot: 5d7e6c4 Fix coreboot makefiles not to produce half baked output.