x86: fix reboot problem with Dell Optiplex 745, 0KW626 board
authorHeinz-Ado Arnolds <arnolds@MPA-Garching.MPG.DE>
Wed, 12 Mar 2008 15:27:56 +0000 (16:27 +0100)
committerIngo Molnar <mingo@elte.hu>
Fri, 21 Mar 2008 16:06:15 +0000 (17:06 +0100)
commitfc1c8925c8210009c1fc5d909d189252d8fb4fb2
tree28462a579e3b2a6792442ebc05ba87cc3a026b5c
parente215f3c2c5247b727a76f28de4b3e46def950c55
x86: fix reboot problem with Dell Optiplex 745, 0KW626 board

we have seen a little problem in rebooting Dell Optiplex 745 with the
0KW626 board. Here is a small patch enabling reboot with this board,
which forces the default reboot path it into the BIOS reboot mode.

Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
arch/x86/kernel/reboot.c