[coreboot-gerrit] Patch merged into coreboot/master: b0fe6af baytrail: fix tsc rate