add opam 1.2 ppa to arm image