Let $\mathcal{L}_{\kappa \lambda}$ denote the infinitary logic that allows conjunction of less than $\kappa$-many formulas and simultaneous quantification of less than $\lambda$-many variables. It is well-known that

if a sentence $\varphi \in \mathcal{L}_{\omega_1 \omega}$ has arbitrarily large models, then for all cardinals $\lambda \geq \omega$ there exists a model of $\varphi$ of cardinality $\lambda$ which realizes only $\omega$-many types.

(For example, see Theorem 5.11 of Marker's "Lectures in Infinitary Model Theory".)

I would like to have a similar result for $\mathcal{L}_{\kappa^+ \kappa}$ with uncountable $\kappa$ that guarantees the existence of sufficiently large models with $\leq \kappa$-many types. (Indeed, having $\leq \kappa$-many quantifier free 1-types suffices for my purposes.)

The problem I am having is that the usual proof of this fact does not generalize to uncountable $\kappa$: The proof proceeds by taking the Skolem hull of a large set of indiscernibles, whose existence is guaranteed by an argument that uses the Erdös-Rado theorem. If one tries to imitate the same proof, in order to guarantee that the Skolem hull is an elementary substructure, one has to introduce Skolem functions of infinite arity, which in turn requires one to consider indiscernibles with respect to formulas possibly having infinitely many variables; and this requires a partition relation where one colors $\geq \omega$-tuples. However, such partition relations are known to fail in general.

Is there any way to get around this problem or is it the case that the generalization of this fact fails? If it helps, you may assume that $\kappa$ has various properties such as being strong limit, inaccessible etc.