[coreboot-gerrit] New patch to review for coreboot: 7dda84c elog: Add ELOG_TYPE_BOOT event using fake boot count if necessary