I went further than that, I profiled with perf and checked that the right kernels were used.