In earlier work, the author introduced a method for constructing a Frobenius categorification of a cluster algebra with frozen variables, requiring as input a suitable candidate for the endomorphism algebra of a cluster-tilting object in such a category. In this paper, we construct such candidates in the case of cluster algebras with 'polarised' principal coefficients, and obtain Frobenius categorifications in the acyclic case. Since cluster algebras with principal coefficients are obtained from those with polarised principal coefficients by setting half of the frozen variables to 1, our categories also indirectly model principal coefficient cluster algebras, for which no Frobenius categorification exists in general. Moreover, partial stabilisation provides an extriangulated category, in the sense of Nakaoka and Palu, that may more directly model the principal coefficient cluster algebra. Many of the intermediate results remain valid without the acyclicity assumption, as we will indicate. Along the way, we establish a Frobenius version of Keller's result that the Ginzburg dg-algebra of a quiver with potential is bimodule 3-Calabi-Yau.