Fix declaration of variable containing sum of kernel times in profiling info