Comment 36 for bug 1434581

Yep, one machine, three kernels.

I didn't have /etc/default/openipmi since I don't have the openipmi package installed. I tried installing it and flipping those off, also I tried blacklisting ipmi_si and ipmi_devintf. Unfortunately, there was no change.

I can install and post logs for just about anything on this machine that's needed to help resolve the issue.

I also tried the final 4.0 kernel, and it behaves the same as the earlier 4.0-rc5 kernel I tried, so I updated the tags.