Après le Pinephone, Pine64 annonce un concurrent au Raspberry Pi