Bueno, al cabo de un rato volvía a ir igual de mal que al principio y el cambio entre canales era extremadamente lento, así que he optado por reiniciar a valores de fábrica desde el menú de servicio.
He tenido que volver a configurar todo, etc., pero ahora mismo parece que todo va ok. No sé qué demonios hacer esta actualización a parte de tocar las narices. Yo no encuentro ninguna diferencia. Pero bueno, para los que tengáis este problema, no es necesario hacer root y downgrade. Esta opción me parece mucho más sencilla.