No sabes si el redmi 9 se actualizará a MIUI 12 ??