Pero supongo que antes de actualizar a MIUI 10 estable si utilizaba el módulo de Magisk o modificó la línea con el explorador root para activar la grabación en 4k. No sé, pienso que sí actualiza a MIUI 10 sin hacer wipes, es posible que se mantengan activos esos cambios (aunque pierda el root) para que continúe activa la grabación 4K con la app de cámara de MIUI.
