Benchmark: switch to linux kernel.