[coreboot] New patch to review for coreboot: 1e798a5 Fix coreboot makefiles not to produce half baked output.