Por eso yo no me he dado ninguna prisa en actualizar. Porque los problemas no suelen aparecer el primer día...
Seguramente os tocará restablecer a los dos. ¡Y menudo coñazo! Los canales, aplicaciones, ajustes de imagen para cada entrada hdmi ¿por que demonios habrá una configuración diferente para cada entrada?, inicializar el disco duro para grabaciones perdiendo todo lo que tenemos en él, ajustes de sonido, preferencias varias...
Dan ganas de llorar.