HyperOS 4 de Xiaomi: fecha de salida, version de Android, modelos compatibles, novedades y todo que sabemos y creemos saber