Fix coreboot makefiles not to produce half baked output.