[coreboot-gerrit] Patch set updated for coreboot: ifwitool: Add new tool for managing IFWI images