How do you benchmark a kernel anyway ? Most of the benchmarks on Phoronix are testing programs.
What will a kernel benchmark include ? latency ? throughput ? memory consumption ? better scheduling ?