Al MIX 2 le vinieron con la 9.5, así que también debería para el Redmi 5 y 5 Plus.