fixing kernel flops in profiler