Adding timing for kernel launches