Bueno, pues el mini PC con gráfica AMD parece que tiene soporte para el adaptador de DisplayPort que me compré que habilita funcionalidades HDMI-CEC. Puedo usarlo pero cambiar la entrada de la tele, por ejemplo, pero el tema de usar el mando de la tele para controlar el PC lamentablemente no he conseguido hacerlo andar.