diff options
-rw-r--r-- | arch/i386/kernel/reboot.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/arch/i386/kernel/reboot.c b/arch/i386/kernel/reboot.c index 5513f8d5b5be..0d796248866c 100644 --- a/arch/i386/kernel/reboot.c +++ b/arch/i386/kernel/reboot.c | |||
@@ -113,6 +113,15 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = { | |||
113 | DMI_MATCH(DMI_PRODUCT_NAME, "PowerEdge 300/"), | 113 | DMI_MATCH(DMI_PRODUCT_NAME, "PowerEdge 300/"), |
114 | }, | 114 | }, |
115 | }, | 115 | }, |
116 | { /* Handle problems with rebooting on Dell Optiplex 745's SFF*/ | ||
117 | .callback = set_bios_reboot, | ||
118 | .ident = "Dell OptiPlex 745", | ||
119 | .matches = { | ||
120 | DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."), | ||
121 | DMI_MATCH(DMI_PRODUCT_NAME, "OptiPlex 745"), | ||
122 | DMI_MATCH(DMI_BOARD_NAME, "0WF810"), | ||
123 | }, | ||
124 | }, | ||
116 | { /* Handle problems with rebooting on Dell 2400's */ | 125 | { /* Handle problems with rebooting on Dell 2400's */ |
117 | .callback = set_bios_reboot, | 126 | .callback = set_bios_reboot, |
118 | .ident = "Dell PowerEdge 2400", | 127 | .ident = "Dell PowerEdge 2400", |