una alternativas a estas rasperry pi, como son: ODROID | Hardkernel

Soportan 4k a 60hx (no se si hdr o hd audio) pero supongo que si