[firedrake] Feeding extra args into Kernels