I can't answer your question directly but here is my experience.
I run indi on a PI 3B+
I run kodi (media player) on a Tinker board. It has run for months 24/7 with any issues, no reboots..
The Tinker Board is great.

However I use Raspbian on the PI and Tinker OS on the Tinker Board.

I have not yet tried indi on the Tinker but may do one day.

I guess you my need to go the source build route to get the latest versions of indi etc. Also true fro Raspbian on PI.

I am consitering upgrading my indi PI to a Gigabyte Brix so I can run the intel builds of indi etc.
It does use more power though.

If it fails to work, you can make a media player out of it.

Read More...