print kernel execution time in -ddump-exec