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