Eu comprei recentemente um Orange Pi (que não é exatamente o mesmo que o seu, mas algo similar: um hardware específico e com grandes potencialidades, mas com falta de suporte).
As opções que eu tinha para o sistema operacional não pareciam boas o suficiente e pesquisando mais, eu encontrei ARMbian , que é basicamente Debian para ARM .
Funcionou desde a instalação sem muitos ajustes. Então deixo o link para ARMBian com ASUS Tinkerboard e pelo menos uma luz no seu caminho.
Você também pode verificar o fórum do seu fórum aqui .