Potrebbe essere una cosa così successa per caso
L'unica cosa da fare è monitorare il dispositivo nell'eventualità che si ripresenti il problema, se non si ripresenta è tutto ok, se dovesse ricapitare in breve tempo una seconda volta forse qualcosa c'è ma con una pulizia cache dovrebbe andare o un hard reset ma se proprio non è una situazione estrema non è necessario
Comunque non dovrebbe essere un problema, ovviamente una terza volta in poco tempo allora un salto all'assistenza lo farei
