Andy, - have you been able to confirm that code mentioned above fixed your system reboot issues, as we have seen the same issue.
However Avaya want a whole bunch of data (thats near impossible to collect due to the randomness of the issue) before they even CONSIDER providing any response.
Our...