add profiling of Darcy kernels