[coreboot-gerrit] Patch merged into coreboot/master: 7714801 elog: Get rid of elog_reinit_descriptor.