Abelian varieties, quaternion trick and endomorphisms

Let $X$ be a polarized abelian variety over a field $K$. Let $O$ be a ring with an involution that acts on $X$ and this action is compatible with the polarization. We prove that the natural action of $O$ on $(X times X^t)^4$ is compatible with a certain principal polarization.