Added a getTime() method to threaded kernel class that returns time
since kernel was initialized