* linux/arch/i386/kernel/reboot.c
*/
-#include <linux/config.h>
#include <linux/mm.h>
#include <linux/module.h>
#include <linux/delay.h>
DMI_MATCH(DMI_PRODUCT_NAME, "HP Compaq"),
},
},
- { /* HP laptops have weird reboot issues */
- .callback = set_bios_reboot,
- .ident = "HP Laptop",
- .matches = {
- DMI_MATCH(DMI_SYS_VENDOR, "Hewlett-Packard"),
- DMI_MATCH(DMI_PRODUCT_NAME, "HP Compaq"),
- },
- },
{ }
};