[coreboot-gerrit] Patch merged into coreboot/master: 8e73b5d x86: add TSC_CONSTANT_RATE option