[coreboot] Patch merged into coreboot/master: 4f4dda8 ELOG: Add support for a monotonic boot counter in CMOS