techMIUI 10 global beta 8.7.12 oficial disponible también para Redmi 5, Redmi 4X y Redmi Note 4; 25 dispositivos en total