Some notes on the SmartAlpha module from RF Solutions, though these may have been superseded by a revised firmware that appears to have made it onto the device.
We have Dell R415 and R515 11G servers that have been rebooting sporadically. These restarts are seemingly random, but occur at approximate intervals of 6 weeks, 2 weeks, or 2 days. The messages in the BMC/iDRAC6 system event log seem to be misreporting various hardware problems. The problem appears to have been avoided by disabling the Event Message Buffer using ipmitool, but only time will tell.