[coreboot-gerrit] Patch set updated for coreboot: 7714801 elog: Get rid of elog_reinit_descriptor.