[coreboot-gerrit] Patch set updated for coreboot: 8c28434 x86: add TSC_CONSTANT_RATE option