Un tvbox con SOC S905X y Libreelec y lo tienes solucionado.

La RPi 3 es una excelente alternativa, pero la pequeñita no puede con los archivos 4K ni con los 10 bits.
El H265 con 8 bits, sin problemas, pero hasta ahí. Una pena. Hay que esperar la 4 a ver con qué viene.