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