Buenas!
Actualmente tengo un mi 8 lite que aún me da el apaño. Quiero comentaros que ese mismo problema del sensor de proximidad, ademas de desajustes en el giroscopio lo tenia el mi 8 lite con las ROMS oficiales.
Fué cambiar a la ROM .EU y se cabaron los problemas. Mas fluido, sin fallo en proximidad y el giroscopio muchisimo mejor.
Estoy pensando en cambiarme al Redmi Note 10 pro o al Mi 11 Lite y seguramentene cuanto pueda le pondré la ROM .EU que están bastante mejor optimizadas que las Oficiales.
Llevo con moviles Xiaomi desde el Redmi 2 y desde que han entrado en la Globalización ...sus ROMS cada vez dan mas pena. Las Customs suelen ir mejor ya que los desarrolladores dedican mas tiempo al modelo concreto de telefono.
Un saludo!