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