Proving that $N$ is a manifold.

For points in $N$ with $f_n(x)>0$ there is the assumption on the rank of $\partial(f_1,\dots,f_{n-1})/\partial x$. Hence you get local charts (in dimension $k+1$) by the same argument you use for $M$ in dimension $k$.

Hence the only problem is to get appropriate charts for $N$ around points $x\in M$ (in which the assumption on the rank is automatically satisfied). For such a point $x$, the standard proof that $M$ is a submanifold gives you an open neighborhood $U$ of $x$ in $\mathbb R^{n+k}$ and smooth functions $g_1,\dots, g_k:U\to\mathbb R$ such that $(f_1,\dots,f_n,g_1,\dots,g_k)$ defines a diffeomorphism from $U$ onto an open subset of $\mathbb R^{n+k}$. Then you use $(g_1,\dots,g_k)$ as a chart on $U\cap M$. But in the same way, you can use $(f_n,g_1,\dots, g_k)$ as a chart for $U\cap N$, which by assumption now has values in a half-space, thus showing that $N$ is a submanifold of dimension $k+1$ with boundary $M$.