I can confirm this on a Dell 2800 with the same set of kernel error messages and hang. Also it works in Ubuntu Dapper x86 if I add pnpacpi=off to the kernel parameters, but that trick does not work on amd64. -- dapper rc: 'modprobe ipmi_si' hangs on dell 2850 https://launchpad.net/bugs/47528