Are there any known problems/bugs with the PushRegistry after reboot of a series 80 or 60 phone?