Me autorespondo, se va a la lista de canales, se selecciona el canal que quieres pasar a Favoritos, se pulsa la tecla Favoritos del mando y sale la Lista de Favoritos, se selecciona el nombre de la lista deseada con la tecla OK del mando, se pulsa la tecla Exit del mando y queda marcado el canal con un cuadradito rojo a la derecha. Ya lo tenemos en la lista de Favoritos, en la que hemos elegido con OK: Deportes, Música etc., siempre que al salir pulsemos en la opción Guardar. Los nombres de la lista de canales se pueden renombrar, hay 31 y los 8 primeros están por defecto en inglés, es útil cambiarlos. Saludos