[coreboot-gerrit] Patch set updated for coreboot: 24c9474 haswell: update pei_data data structure