[coreboot-gerrit] Patch merged into coreboot/master: 6a29e6c elog: Add ELOG_TYPE_BOOT event using fake boot count if necessary