[coreboot-gerrit] Patch set updated for coreboot: 12e3a74 haswell: update pei_data data structure