Mennims - thank you, and you are welcome
mimi123 - there is always room for more optimization!
ric96 - not too surprising, code optimized for years vs. new port.
EtonMess - optimization helps

and I am sure Linaro will get faster.
evaskp - I agree, Linaro will get faster.
jamesh - Good question. I am sure NEON optimized mem*() and str*() would help both Raspbian and Linaro.
mimi123 - benchmarks show that it was running at 900Mhz, and lscpu confirms that.
plugwash:
I agree that micro benchmarks are generally useless, except when they fit your applications profile to a "T".
Having said that, these benchmarks address the ARMv7 compile vs. ARMv6 compile question at least as far as currenly available Debian (Raspbian) and Ubuntu (Linaro) are concerned.
As Linaro is freshly hatched, it will benefit more from further optimization than Raspbian.
That however does not invalidate the fairness of the comparison between the two current images... basically "a bird in hand is worth more than two in the bush".
Regarding bare metal - I managed to find the time to write & report on these results, however I do not have the time to go to bare metal, and optimize for ARMv7.