US7076671B2 - Managing an Operating Frequency of Processors in a Multi-Processor Computer System