If you get an OrangePi 2e ($35) or an OrangePi PC2 ($20) both have gigabit that performs well, you could easily push 4k reliably from either. They also have libre VPU support so you can playback 4k content if you plug in an HDMI cable.