I'm going to assume that when you write $\subseteq$, you really mean $\subseteq_{NS}$.  We say $A \subseteq_{NS} B$ when $A$ is contained in $B$ except for a nonstationary set, i.e. $A \setminus B \in NS$.  If we don't do this, then as Joel said, $\lambda = \kappa$, since the collection of "coatoms" is cofinal.

If we take the set of equivalence classes of stationary sets modulo $NS$, (i.e. $A \sim B$ when $A \triangle B \in NS$) we get an atomless boolean algebra under the set operations modulo $NS$, and this is what is commonly meant by $\mathcal{P}(\kappa)/NS$.  Now in general an "upwardly dense" subset $S$ of a boolean algebra $B$ ("cofinal" as you call it) generates a (downwardly) dense set by just taking the complement of every element of $S$.

Now, it is known to be equiconsistent with infinitely many Woodin cardinals that $NS_{\omega_1}$ is $\omega_1$-dense.  But by results of Gitik and Shelah, $\mathcal{P}(\kappa)/NS$ never has the $\kappa^+$-chain condition for regular $\kappa > \omega_1$.  Hence the density of this algebra is always greater than $\kappa$.  Under GCH, it must be equal to $\kappa^+$.

Woodin showed relative to an almost-huge cardinal that it is consistent for a successor cardinal $\kappa > \omega_1$ to have a stationary subset $S$ such that $\mathcal{P}(S)/NS$ has the $\kappa^+$-c.c.  (See Foreman's article in Handbook of Set Theory.)  I'm pretty sure that the stronger property of being $\kappa$-dense is not known to be consistent from any large cardinal assumption.  Under a fragment of GCH, if $\kappa$ is the successor of singular cardinal (for example $\aleph_{\omega+1}$) $NS_\kappa$ is provably not $\kappa$-dense below any stationary set.  (This is my result, to appear in my thesis soon.)