...también me he dado cuenta leyendo por ahí, de que el menú de apagado del dispositivo sigue siendo igual que antes y, por lo que he visto, tras la actualización a miui 12.5.1 debería haber cambiado a un deslizador con las opciones de apagado y reinicio. No sé si esto debe ser así.