[coreboot-gerrit] Patch set updated for coreboot: e70f90c Clean up usage of multiply_to_tsc