Just wanted to post as I've not seen one yet on the subject. The Portico update has made no difference to my phone's rebooting whatsoever. It always seems to reboot around the same time each day (around 1400 GMT) althrough reboots at other times occur, this points to some sort of syncing issue imo.