terminate kernel to dispatch kernel terminate event
Merge pull request #1 from panicwassano/enable_profiler

terminate kernel to dispatch kernel terminate event