On Tue, Jan 17, 2012 at 16:07, Peter G. (nephros) <thinkpad@nephros.org> wrote: > Try booting with the reboot= linux kernel parameter set to different values, > e.g. "cold" or "bios" I tried "reboot=cold", but it didn't make a difference. According to arch/x86/kernel/reboot.c, "reboot=bios" is only of X32-systems.