Am 13.08.2011 14:25, schrieb Mauro Santos:
I've read that the reboot method/commands sent to the hardware were being changed to closely mimic what windows does [1], this was meant to workaround broken bios which don't comply to a standard and are only made and tested to work with windows. Maybe somehow that is causing the problem for you, I don't know if there is any way to use the "old" method but I guess that even if there is this is worth a bug report in the kernel bugtracker. [1] http://mjg59.livejournal.com/137313.html
Switching between reboot methods is possible with a kernel parameter. There are several methods. May the source [0] be with you.
[0] http://git.kernel.org/?p=linux/kernel/git/stable/linux-3.0.y.git;a=blob;f=arch/x86/kernel/reboot.c;h=9242436e9937e5a4ef91c6baa04eaf2e90243125;hb=HEAD#l55
-- Regards, Richard Schütz