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