[coreboot] New patch to review for coreboot: 4f4dda8 ELOG: Add support for a monotonic boot counter in CMOS