[coreboot] monotonic timer patches