Over any field $k$, $\hat A=Ext(A,G_m)$ in the abelian category (see ["Is the category of commutative group schemes abelian" here on MO][1]) of commutative group schemes of finite type over $k$. There is a natural isomorphism $Ext(A \times A,G_m) \cong Ext(A,G_m) \oplus Ext(A,G_m)$ ($Ext$ is a bi-additive functor), from which a natural isomorphism $\widehat{A \times A} \rightarrow \hat A \times \hat A$ that you seek . The Poincare bundles on $(A \times A) \times (\hat A \times \hat A)$ and on $\widehat{A \times A} \times (A \times A)$ should be easy to relate as well -- just pullbacks via the canonical isomorphisms mentioned above.


  [1]: https://mathoverflow.net/questions/38168/is-the-category-of-commutative-group-schemes-abelian