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