Personalmente creo que la mejor solucion si lo que quieres es poder usar el jdownloader que mires el formato ITX.En concreto las que lleva el chip ION o ION 2 (aunque estas no tengo muy claro si ya han sacado alguna placa).Ambas reproducen en teoria HD sin problemas.
Al ser un pc , lepuees instalar windows/linux y podras usar jdowloader, ya que hasta la fecha no conozco (por lo menos yo no lo he encontrado)ningun sistema empotrado (ARM y demas) que tenga una maquina virtual de java, que es lo que necesitas para el jdownloader.

En pcbox las tienes desde 120 con salida HDMI,dvi-d y vga, aunque si "bicheas" un poco puedes buscarte alguna con dvi (te buscas el adaptor a HDMI) y te saldria mas barato.

Un saludete.