[firedrake] Applying bcs when using LinearSolver