Well, the default yocto build has it worked so it should not be too hard. Too bad got no time for that, hope somebody will.
If you're going to write the instruction, one little trap: flashall.sh require root (it just quit without any message if run without root authority)
As for the bench, I was under the impression configure script will figure out the thread# (it not). Also, I had some cpu using app running on odroid-xu, so re-run it again:
odroid-xu -> 1m24.879
edison -> 7m29.882s
bbb -> 11m38.107s
rpi -> 25m45.433s
Saw your blogs, BBB spec said it is 1GHz, wonder why you omit it. You really should add any quad ARM board there, Edison still not beat it. An Odroid-U3 ($65, quad 1.7GHz) should easily beat Edison in this departement. Odroid-xu is 1.6GHz (currently Odroid-xu3 is quad 2.0GHz, and also a real HMP so additional 1.4GHz A7 should contribute). Samsung just anounce Exynos 7, 8-core, 64-bit, so it will be interesting when someday any board utilized it. BTW, many project should not need those cpu power anyway.
Anyway with only 500MHz, it's form factor and low power, indeed Edison is pretty impressive.