Added Puppet Kernel for profiling