https://www.asus.com/Single-Board-Computer/Tinker-Board/ The Asus Tinker Board is claimed to be twice the speed of the Raspberry Pi 3
<quote>Tinker Board features an ARM-based RK3288 SoC and is equipped with four cores to enhance multithread application performance. It operates at frequencies of up to 1.8GHz
Tinker Board's GPU is based on the Mali™-T764 GPU. It offers up 16 cores and a 600MHz clock speed. When compared to competitor SBC GPUs, Tinker Board offers better GPU computing and GPU acceleration performance.
Tinker Board offers dual-channel DDR3</quote>
Unofficial Tinker Board Community website https://tinkerboarding.co.uk
I hope very much you consider and do add support for this SOC, It is made by a big trusted company and has very good specifications while being arduino compatible and modeled after the Pi being able to fit in most Pi 2/3 cases
I've messed around with porting it, but it doesn't have a build root option right now. You might look at an Odroid XU4 - has 8 core CPU, better GPU(no 4k), 2GB of ram as well, USB 3.0, EMMC support, and is working with Batocera. It's also the same price - http://www.hardkernel.com/main/products/prdt_info.php
Now, with Tinker Board S, it's seems to be the coolest choice for multimedia/retrogaming box !
Is support planned ?