I'll give a different reasoning.
Start as in Philip's argument - assume that $L[A], L[B]$ contains no non-constructible reals but $x\in \mathcal{P}(\omega)\cap L[A, B],\,x\notin L$. We want to show that this situation can be pushed down to $\omega_1$, namely that there is a set $X$, $x\in L[X]$, $X\subset \omega_1$ and for every $\alpha < \omega_1$, $X\cap \alpha \in L$.
Assume, WLOG, that $A, B$ are disjoint classes of ordinals (i.e. $A$ is a subclass of the odd ordinals and $B$ is a subclass of the even ordinals) and let $C=A\cup B$.
Lemma: Assume $0^\# \notin L[C]$. Let $x \in \mathcal{P}(\omega)\cap L[C]$. There is $U\in L$, $|U|=\aleph_1^{L[C]}$ such that $x\in L[C\cap U]$.
Proof: Take countable elementary submodel $x\in M\prec H(\chi)^{L[C]}$ for suitable large enough $\chi$. Now, it's clear that for every $a\in M$, $\exists t\in a\cap C \iff \exists t \in a\cap C \cap On^M$. Using Jensen's covering lemma, we can cover $On^M$ with some constructible set $U$ of size $\aleph_1$, and get that for every $a\in M$, $\exists t\in a\cap C \iff \exists t \in a\cap C \cap U$.
Now, by induction on the complexity of the formulas and the ordinals in $M$ we can see that $\langle M, \epsilon ,C\rangle \models \phi(a)\iff \langle M, \epsilon ,C\cap U\rangle \models \phi(a)$ and in particular since for every element in $M$ has a code (which is the finite tree of ordinals that codes its construction), we can see that every the $\epsilon$-relation between codes of elements of $M$ are absolute between $L[C]$ and $L[C\cap U]$, and therefore $x\in L[C\cap U]$. QED
Now, in our case, $\aleph_1 = \aleph_1^L$ so we can choose $f:\omega_1 \rightarrow U$ a bijection in $L$ we get that $x \in L[f^{-1} (C)]$, but for every $\alpha < \omega_1$, $f^{-1}(C)\cap \alpha = (f^{-1}(A) \cap \alpha) \cup (f^{-1}(B) \cap \alpha) \in L$
Remark: The covering lemma here is essential, since this fact doesn't hold if we replace $L$ with the core model and there is a measurable (choose $A,B$ to be mutually generic Prikry sequences, and use this observation, due to Prikry, to show that in $K[A,B]$ there is a Cohen real over $K$).