Em um sistema com, por exemplo, duas CPUs físicas, quatro núcleos por CPU. Se uma CPU física for mais lenta (menor velocidade de clock, outro modelo), o agendador de processos do Linux será inteligente o suficiente para migrar um processo de alta demanda para o núcleo mais rápido?
Se for, como a média de carga é calculada em um sistema com uma CPU física lenta e outra rápida?