I am only allowed to post once a day.
Anyway the only board that I am interested in is the Tinkerboard.
I don't know much about linux or kernels but I know that Asus spend a lot of time getting TinkerOS (Debian based) to properly run the PecanPi DAC with the RPI-DAC overlay being ported over from the Rpi.
Since they put all the work into it, I am hoping it will be easy to get it to run on Armbian also.
I will try to support where I can but when it come to compiling and all that stuff I have to leave that to you guys here.
I have all the hardware and am able to test proper operation if an SD card image is provided with instructions.