|
@@ -259,6 +259,14 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
|
|
DMI_MATCH(DMI_PRODUCT_NAME, "SBC-FITPC2"),
|
|
DMI_MATCH(DMI_PRODUCT_NAME, "SBC-FITPC2"),
|
|
},
|
|
},
|
|
},
|
|
},
|
|
|
|
+ { /* Handle problems with rebooting on ASUS P4S800 */
|
|
|
|
+ .callback = set_bios_reboot,
|
|
|
|
+ .ident = "ASUS P4S800",
|
|
|
|
+ .matches = {
|
|
|
|
+ DMI_MATCH(DMI_BOARD_VENDOR, "ASUSTeK Computer INC."),
|
|
|
|
+ DMI_MATCH(DMI_BOARD_NAME, "P4S800"),
|
|
|
|
+ },
|
|
|
|
+ },
|
|
{ }
|
|
{ }
|
|
};
|
|
};
|
|
|
|
|