Does Kernel Need Microbenchmark