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