(i) Adding feature to search for kernel (ii) Fixing a minor bug in Profiler.scala where it does not print the 'all' node profile data if tic/toc is used