@Pepepellicer,el problema del deco de Orange lo solucionas con el adaptador HDMI Lindy 41232 que se vende en Amazon. Lo que hace es capar el pin 13 de la salida HDMI del deco que se apropia del CEC.
https://www.amazon.es/dp/B00DL48KVI/...ing=UTF8&psc=1