Does anyone know what Android TV devices are based on this board? miniand.com is still sold out. For example, this has the same specs, form factor, and connector layout: http://www.aliexpress.com/item/Hot-New-Model-Google-Android-4-0-ICS-TV-Set-Top-Box-IPTV-Allwinner-A10-CPU/592062804.html