[coreboot-gerrit] Patch set updated for coreboot: 24b6aba haswell: 24MHz monotonic time implementation