[coreboot-gerrit] Patch merged into coreboot/master: c95ebcc vendorcode/intel: Add EDK2 header files