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