[coreboot-gerrit] Patch set updated for coreboot: 31e5c7f vendorcode/intel: Add EDK2 header files