[updated, quad core results] BFS vs. mainline scheduler benchmarks and measurements

(With regard to hyperthreading you are of course right that the physical resources are those of the physical cores, but surely unless you are HT-aware you will get lower performance on an HT system than otherwise, because you won't know to e.g. schedule threads of the same process on the same physical core if possible, to maximize cache sharing. But I know you know all this as the current mainline scheduler does it :) )