[coreboot-gerrit] Patch set updated for coreboot: 5714e1b drivers/intel/fsp: Add HOB tools to work with GUIDs