[coreboot-gerrit] Patch set updated for coreboot: soc/intel/skylake: Add monotonic_timer to verstage