For comparison, the Raspberry Pi 3 runs a 1.2GHz ARM Cortex-A53, 1GB RAM, and HDMI 1.3. So the Tinker Board should easily outperform the Pi while also supporting the 4K resolution your new (or ...