Minor fixes. One bug was that the time field in kernelNodeInfo was being incorrectly displayed in 'ms' instead of s
Minor bug fix in the search feature for kernels.