I've seen cases where the a hard reset is forced in case some devices can't DMA. Maybe it's related.
If that's the case, something should show up in the IPMI, and the crash is usually instantaneous; otherwise, there is some delay (~5 seconds) between Xen/Dom0 crash and actual reboot.