No problems with restart of the system here, after avast! setup (4.5.529) asked me to do that…