They did, teams confirmed there was an update being deployed during the delay after the aborted formation lap.

Restarting in Hamilton's case "fixed" it because it removed the condition it was in, if he would have done the lap again, it would have happened again.