version. IMO the number of cpus can just be the result of get_num_cpus(), most of the clocks are the same, and differences can either be in this file or behind a conditional check for the family. Otherwise we have duplicated code here. Regards, Simon