[PATCH] Add DMI quirk for Intel DP55KG mainboard

[Christian Hofstaedtler <ch@zeha.at>]

From: Christian Hofstaedtler <ch+git@zeha.at>

The Intel DP55KG mainboard cannot reboot using the keyboard controller,
but ACPI works fine. Auto-select ACPI for this board.

Signed-off-by: Christian Hofstaedtler <ch@zeha.at>
---
 arch/x86/kernel/reboot.c |   21 +++++++++++++++++++++
 1 files changed, 21 insertions(+), 0 deletions(-)

diff --git a/arch/x86/kernel/reboot.c b/arch/x86/kernel/reboot.c
index 1545bc0..b7fcf59 100644
--- a/arch/x86/kernel/reboot.c
+++ b/arch/x86/kernel/reboot.c
@@ -427,6 +427,19 @@ static int __init set_pci_reboot(const struct dmi_system_id *d)
 	return 0;
 }
 
+/*
+ * Some Intel mainboards need reboot=a to actually reboot
+ */
+static int __init set_acpi_reboot(const struct dmi_system_id *d)
+{
+	if (reboot_type != BOOT_ACPI) {
+		reboot_type = BOOT_ACPI;
+		printk(KERN_INFO "%s hardware detected. "
+		       "Selecting ACPI-method for reboots.\n", d->ident);
+	}
+	return 0;
+}
+
 static struct dmi_system_id __initdata pci_reboot_dmi_table[] = {
 	{	/* Handle problems with rebooting on Apple MacBook5 */
 		.callback = set_pci_reboot,
@@ -452,6 +465,14 @@ static struct dmi_system_id __initdata pci_reboot_dmi_table[] = {
 			DMI_MATCH(DMI_PRODUCT_NAME, "Macmini3,1"),
 		},
 	},
+	{	/* Handle problems with rebooting on Intel DP55KG mainboard */
+		.callback = set_acpi_reboot,
+		.ident = "Intel DP55KG Mainboard",
+		.matches = {
+			DMI_MATCH(DMI_BOARD_VENDOR, "Intel Corporation"),
+			DMI_MATCH(DMI_BOARD_NAME, "DP55KG"),
+		},
+	},
 	{ }
 };
 
-- 
1.6.4.4