commit | fc1c8925c8210009c1fc5d909d189252d8fb4fb2 | [log] [tgz] |
---|---|---|
author | Heinz-Ado Arnolds <arnolds@MPA-Garching.MPG.DE> | Wed Mar 12 16:27:56 2008 +0100 |
committer | Ingo Molnar <mingo@elte.hu> | Fri Mar 21 17:06:15 2008 +0100 |
tree | 28462a579e3b2a6792442ebc05ba87cc3a026b5c | |
parent | e215f3c2c5247b727a76f28de4b3e46def950c55 [diff] |
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>