So here are the benchmarks of the ODROID XU3 with the latest Ubuntu 15.10 and 3.10 kernel:
http://openbenchmarking.org/result/1601155-HA-160113...