[abhinavk]

That's still using Cachy's kernel. Cachy uses a different scheduler and compiles for x86_64_v3 instruction set. It won't get you a world-shattering boost but ~5% is what comes up in benchmarks.