these boards are no longer available, but there are quite a lot of these boards around - they work really well and it would be nice to get an Armbian build for them.
There is an image from Odroid for it, but with an outdated 3.14 kernel. There is a working 4.9 Kernel for those boards - I was asking them, if they could update there image with the 4.8 Kernel, but the answer was no - http://forum.odroid.com/viewtopic.php?f=77&t=16633&start=100