Intel DP55KG BIOS Bug (reboot hangs, is Intel aware of the problem?)

Intel DP55KG BIOS Bug (reboot hangs, is Intel aware of the problem?)

[Justin Piszcz]

Hi,

I have tried the following kernel parameters with '*' and reboot=b,
reboot=h and reboot=s.

-----------------------------------------------------------------------

Rebooting

    reboot=b[ios] | t[riple] | k[bd] | a[cpi] | e[fi] [, [w]arm | [c]old]
*   bios    Use the CPU reboot vector for warm reset
    warm   Don't set the cold reboot flag
    cold   Set the cold reboot flag
    triple Force a triple fault (init)
*   kbd    Use the keyboard controller. cold reset (default)
    acpi   Use the ACPI RESET_REG in the FADT. If ACPI is not configured or the
           ACPI reset does not work, the reboot path attempts the reset using
           the keyboard controller.
*   efi    Use efi reset_system runtime service. If EFI is not configured or the
           EFI reset does not work, the reboot path attempts the reset using
           the keyboard controller.

    Using warm reset will be much faster especially on big memory
    systems because the BIOS will not go through the memory check.
    Disadvantage is that not all hardware will be completely reinitialized
    on reboot so there may be boot problems on some systems.

*   reboot=force

None of which work.

-----------------------------------------------------------------------

It appears earlier Intel boards also suffered the same problem:

Subject: Re: Machine restart doesn't work - Intel 965G, 2.6.19-rc2
http://lkml.indiana.edu/hypermail/linux/kernel/0610.2/2215.html

Are those at Intel aware of this problem?

I have tried many different options/settings, nothing seems to work.

All workaround are unsuccessful.

It appears the dmidecode is requested for these sorts of problems, that is 
available here:
http://home.comcast.net/~jpiszcz/20091014/dmidecode.txt

Are there any other workarounds until Intel comes out with a patch/new 
BIOS?  Aside from shutting the system off and using wake on lan?

Justin.

Re: Intel DP55KG BIOS Bug (reboot hangs, is Intel aware of the problem?)

[H. Peter Anvin]

On 10/14/2009 03:02 PM, Justin Piszcz wrote:
> Hi,
> 
> I have tried the following kernel parameters with '*' and reboot=b,
> reboot=h and reboot=s.
> 

reboot=t (triple), reboot=p (pci) and reboot=a (acpi) would be useful to
test, too.

	-hpa

Re: Intel DP55KG BIOS Bug (reboot hangs, is Intel aware of the problem?)

[Justin Piszcz]

On Thu, 15 Oct 2009, H. Peter Anvin wrote:

> On 10/14/2009 03:02 PM, Justin Piszcz wrote:
>> Hi,
>>
>> I have tried the following kernel parameters with '*' and reboot=b,
>> reboot=h and reboot=s.
>>
>
> reboot=t (triple), reboot=p (pci) and reboot=a (acpi) would be useful to
> test, too.
>
> 	-hpa
>

Thanks,

I find it kind of funny I tried the 4-5 options that didn't work first, 
bad luck?

Here is what worked and what did not and what I ended up using:

reboot=a * SUCCESS
reboot=b * FAIL
reboot=cold * FAIL
reboot=efi * FAIL
reboot=force * FAIL
reboot=h * FAIL
reboot=p * SUCCESS
reboot=s * FAIL
reboot=t * SUCCESS
reboot=warm * FAIL

I am using reboot=a for now, until INTEL releases a BIOS fix for this bug.

>From Bryan:

Try each of the following in the reboot= parameter: acpi, smp (32-bit
only), triple, efi, pci, warm, cold, force If one of them works, report 
it, along with the output from dmidecode and lspci -nn, so a workaround
entry can be added.

dmidecode & lspci below--

http://home.comcast.net/~jpiszcz/20091015/dmidecode.txt
http://home.comcast.net/~jpiszcz/20091015/lspci-nn.txt

Justin.

[PATCH] Add quirk for ACPI reboots on Intel DP55KG boards.

[Bryan Donlan]

Keyboard-based and BIOS-based reboots don't work on Intel DP55KG boards;
use ACPI reboots instead.

Reported-By: Justin Piszcz <jpiszcz@lucidpixels.com>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: Ingo Molnar <mingo@redhat.com>
Cc: "H. Peter Anvin" <hpa@zytor.com>
Cc: x86@kernel.org
Signed-off-by: Bryan Donlan <bdonlan@gmail.com>
---
 arch/x86/kernel/reboot.c |   23 +++++++++++++++++++++++
 1 files changed, 23 insertions(+), 0 deletions(-)

Justin, could you give this patch a try? It should make the reboot=acpi
workaround automatic.
(x86 maintainers CC'd)

diff --git a/arch/x86/kernel/reboot.c b/arch/x86/kernel/reboot.c
index a1a3cdd..67bfcef 100644
--- a/arch/x86/kernel/reboot.c
+++ b/arch/x86/kernel/reboot.c
@@ -134,6 +134,21 @@ static int __init set_bios_reboot(const struct dmi_system_id *d)
 	return 0;
 }
 
+/*
+ * Some machines require the "reboot=a" commandline option.
+ * This quirk makes that automatic.
+ */
+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 series board detected. Selecting ACPI "
+				"method for reboots.\n", d->ident);
+	}
+	return 0;
+}
+
+
 static struct dmi_system_id __initdata reboot_dmi_table[] = {
 	{	/* Handle problems with rebooting on Dell E520's */
 		.callback = set_bios_reboot,
@@ -259,6 +274,14 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
 			DMI_MATCH(DMI_PRODUCT_NAME, "SBC-FITPC2"),
 		},
 	},
+	{	/* Handle problems with rebooting on Intel DP55KG */
+		.callback = set_acpi_reboot,
+		.ident = "Intel DP55KG",
+		.matches = {
+			DMI_MATCH(DMI_SYS_VENDOR, "Intel Corporation"),
+			DMI_MATCH(DMI_PRODUCT_NAME, "DP55KG"),
+		},
+	},
 	{ }
 };
 
-- 
1.6.3.3

Re: [PATCH] Add quirk for ACPI reboots on Intel DP55KG boards.

[Justin Piszcz]

On Thu, 15 Oct 2009, Bryan Donlan wrote:

> Keyboard-based and BIOS-based reboots don't work on Intel DP55KG boards;
> use ACPI reboots instead.
>
> Reported-By: Justin Piszcz <jpiszcz@lucidpixels.com>
> Cc: Thomas Gleixner <tglx@linutronix.de>
> Cc: Ingo Molnar <mingo@redhat.com>
> Cc: "H. Peter Anvin" <hpa@zytor.com>
> Cc: x86@kernel.org
> Signed-off-by: Bryan Donlan <bdonlan@gmail.com>
> ---
> arch/x86/kernel/reboot.c |   23 +++++++++++++++++++++++
> 1 files changed, 23 insertions(+), 0 deletions(-)
>
> Justin, could you give this patch a try? It should make the reboot=acpi
> workaround automatic.
> (x86 maintainers CC'd)
>
> diff --git a/arch/x86/kernel/reboot.c b/arch/x86/kernel/reboot.c
> index a1a3cdd..67bfcef 100644
> --- a/arch/x86/kernel/reboot.c
> +++ b/arch/x86/kernel/reboot.c
> @@ -134,6 +134,21 @@ static int __init set_bios_reboot(const struct dmi_system_id *d)
> 	return 0;
> }
>
> +/*
> + * Some machines require the "reboot=a" commandline option.
> + * This quirk makes that automatic.
> + */
> +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 series board detected. Selecting ACPI "
> +				"method for reboots.\n", d->ident);
> +	}
> +	return 0;
> +}
> +
> +
> static struct dmi_system_id __initdata reboot_dmi_table[] = {
> 	{	/* Handle problems with rebooting on Dell E520's */
> 		.callback = set_bios_reboot,
> @@ -259,6 +274,14 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
> 			DMI_MATCH(DMI_PRODUCT_NAME, "SBC-FITPC2"),
> 		},
> 	},
> +	{	/* Handle problems with rebooting on Intel DP55KG */
> +		.callback = set_acpi_reboot,
> +		.ident = "Intel DP55KG",
> +		.matches = {
> +			DMI_MATCH(DMI_SYS_VENDOR, "Intel Corporation"),
> +			DMI_MATCH(DMI_PRODUCT_NAME, "DP55KG"),
> +		},
> +	},
> 	{ }
> };
>
> -- 
> 1.6.3.3
>

Hello,

# patch -p1 < /home/jpiszcz/patch 
patching file arch/x86/kernel/reboot.c
Hunk #1 succeeded at 132 (offset -2 lines).
Hunk #2 succeeded at 272 (offset -2 lines).

# uname -a
Linux p34.internal.lan 2.6.31.3 #8 SMP Wed Oct 14 14:37:37 EDT 2009 x86_64 GNU/Linux

# ls -l /usr/src/linux/.config-* | tail -n 1
-rw-r--r-- 1 root root 45762 2009-10-15 18:31 /usr/src/linux/.config-2.6.31.3-9

Hi,

Thanks for the patch-- tested, but unfortunately it still hanged at the 
reboot process (when I did not use reboot=a).

I see in the patch:
> +             printk(KERN_INFO "%s series board detected. Selecting ACPI

But..

$ dmesg | grep -i 'series board'
$

$ uname -a
Linux p34.internal.lan 2.6.31.3 #9 SMP Thu Oct 15 18:31:29 EDT 2009 x86_64 GNU/Linux

$ cat /proc/cmdline 
auto BOOT_IMAGE=2.6.31.3-9 ro root=812 3w-9xxx.use_msi=1

> +			DMI_MATCH(DMI_SYS_VENDOR, "Intel Corporation"),
> +			DMI_MATCH(DMI_PRODUCT_NAME, "DP55KG"),

But..

# dmidecode|grep -i dp55
         Product Name: DP55KG

Stops at Corp.

# dmidecode|grep -i vendor
         Vendor: Intel Corp.

Changed that line to:
+     DMI_MATCH(DMI_SYS_VENDOR, "Intel Corp."),

That did not work either, ideas?

Justin.

Re: [PATCH] Add quirk for ACPI reboots on Intel DP55KG boards.

[Justin Piszcz]

On Thu, 15 Oct 2009, Justin Piszcz wrote:

>
>
> On Thu, 15 Oct 2009, Bryan Donlan wrote:
>
>> Keyboard-based and BIOS-based reboots don't work on Intel DP55KG boards;
>> use ACPI reboots instead.
>> 
>> Reported-By: Justin Piszcz <jpiszcz@lucidpixels.com>
>> Cc: Thomas Gleixner <tglx@linutronix.de>
>> Cc: Ingo Molnar <mingo@redhat.com>
>> Cc: "H. Peter Anvin" <hpa@zytor.com>
>> Cc: x86@kernel.org
>> Signed-off-by: Bryan Donlan <bdonlan@gmail.com>
>> ---
>> arch/x86/kernel/reboot.c |   23 +++++++++++++++++++++++
>> 1 files changed, 23 insertions(+), 0 deletions(-)
>> 
>> Justin, could you give this patch a try? It should make the reboot=acpi
>> workaround automatic.
>> (x86 maintainers CC'd)
>> 
>> diff --git a/arch/x86/kernel/reboot.c b/arch/x86/kernel/reboot.c
>> index a1a3cdd..67bfcef 100644
>> --- a/arch/x86/kernel/reboot.c
>> +++ b/arch/x86/kernel/reboot.c
>> @@ -134,6 +134,21 @@ static int __init set_bios_reboot(const struct 
>> dmi_system_id *d)
>> 	return 0;
>> }
>> 
>> +/*
>> + * Some machines require the "reboot=a" commandline option.
>> + * This quirk makes that automatic.
>> + */
>> +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 series board detected. Selecting ACPI "
>> +				"method for reboots.\n", d->ident);
>> +	}
>> +	return 0;
>> +}
>> +
>> +
>> static struct dmi_system_id __initdata reboot_dmi_table[] = {
>> 	{	/* Handle problems with rebooting on Dell E520's */
>> 		.callback = set_bios_reboot,
>> @@ -259,6 +274,14 @@ static struct dmi_system_id __initdata 
>> reboot_dmi_table[] = {
>> 			DMI_MATCH(DMI_PRODUCT_NAME, "SBC-FITPC2"),
>> 		},
>> 	},
>> +	{	/* Handle problems with rebooting on Intel DP55KG */
>> +		.callback = set_acpi_reboot,
>> +		.ident = "Intel DP55KG",
>> +		.matches = {
>> +			DMI_MATCH(DMI_SYS_VENDOR, "Intel Corporation"),
>> +			DMI_MATCH(DMI_PRODUCT_NAME, "DP55KG"),
>> +		},
>> +	},
>> 	{ }
>> };
>> 
>> -- 
>> 1.6.3.3
>> 
>
> Hello,
>
> # patch -p1 < /home/jpiszcz/patch patching file arch/x86/kernel/reboot.c
> Hunk #1 succeeded at 132 (offset -2 lines).
> Hunk #2 succeeded at 272 (offset -2 lines).
>
> # uname -a
> Linux p34.internal.lan 2.6.31.3 #8 SMP Wed Oct 14 14:37:37 EDT 2009 x86_64 
> GNU/Linux
>
> # ls -l /usr/src/linux/.config-* | tail -n 1
> -rw-r--r-- 1 root root 45762 2009-10-15 18:31 
> /usr/src/linux/.config-2.6.31.3-9
>
> Hi,
>
> Thanks for the patch-- tested, but unfortunately it still hanged at the 
> reboot process (when I did not use reboot=a).
>
> I see in the patch:
>> +             printk(KERN_INFO "%s series board detected. Selecting ACPI
>
> But..
>
> $ dmesg | grep -i 'series board'
> $
>
> $ uname -a
> Linux p34.internal.lan 2.6.31.3 #9 SMP Thu Oct 15 18:31:29 EDT 2009 x86_64 
> GNU/Linux
>
> $ cat /proc/cmdline auto BOOT_IMAGE=2.6.31.3-9 ro root=812 3w-9xxx.use_msi=1
>
>> +			DMI_MATCH(DMI_SYS_VENDOR, "Intel Corporation"),
>> +			DMI_MATCH(DMI_PRODUCT_NAME, "DP55KG"),
>
> But..
>
> # dmidecode|grep -i dp55
>        Product Name: DP55KG
>
> Stops at Corp.
>
> # dmidecode|grep -i vendor
>        Vendor: Intel Corp.
>
> Changed that line to:
> +     DMI_MATCH(DMI_SYS_VENDOR, "Intel Corp."),
>
> That did not work either, ideas?
>
> Justin.
>

Ack, hold a second, I updated the patch/info in the e-mail but did not 
save it before I rebooted as I am rebooting every 5 minutes.

Trying w/ Intel Corp.

Re: [PATCH] Add quirk for ACPI reboots on Intel DP55KG boards.

[Justin Piszcz]

On Thu, 15 Oct 2009, Justin Piszcz wrote:

>
>
> On Thu, 15 Oct 2009, Justin Piszcz wrote:
>
>> 
>> 
>> On Thu, 15 Oct 2009, Bryan Donlan wrote:
>> 
>>> Keyboard-based and BIOS-based reboots don't work on Intel DP55KG boards;
>>> use ACPI reboots instead.
>>> 
>>> Reported-By: Justin Piszcz <jpiszcz@lucidpixels.com>
>>> Cc: Thomas Gleixner <tglx@linutronix.de>
>>> Cc: Ingo Molnar <mingo@redhat.com>
>>> Cc: "H. Peter Anvin" <hpa@zytor.com>
>>> Cc: x86@kernel.org
>>> Signed-off-by: Bryan Donlan <bdonlan@gmail.com>
>>> ---
>>> arch/x86/kernel/reboot.c |   23 +++++++++++++++++++++++
>>> 1 files changed, 23 insertions(+), 0 deletions(-)
>>> 
>>> Justin, could you give this patch a try? It should make the reboot=acpi
>>> workaround automatic.
>>> (x86 maintainers CC'd)
>>> 
>>> diff --git a/arch/x86/kernel/reboot.c b/arch/x86/kernel/reboot.c
>>> index a1a3cdd..67bfcef 100644
>>> --- a/arch/x86/kernel/reboot.c
>>> +++ b/arch/x86/kernel/reboot.c
>>> @@ -134,6 +134,21 @@ static int __init set_bios_reboot(const struct 
>>> dmi_system_id *d)
>>> 	return 0;
>>> }
>>> 
>>> +/*
>>> + * Some machines require the "reboot=a" commandline option.
>>> + * This quirk makes that automatic.
>>> + */
>>> +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 series board detected. Selecting ACPI "
>>> +				"method for reboots.\n", d->ident);
>>> +	}
>>> +	return 0;
>>> +}
>>> +
>>> +
>>> static struct dmi_system_id __initdata reboot_dmi_table[] = {
>>> 	{	/* Handle problems with rebooting on Dell E520's */
>>> 		.callback = set_bios_reboot,
>>> @@ -259,6 +274,14 @@ static struct dmi_system_id __initdata 
>>> reboot_dmi_table[] = {
>>> 			DMI_MATCH(DMI_PRODUCT_NAME, "SBC-FITPC2"),
>>> 		},
>>> 	},
>>> +	{	/* Handle problems with rebooting on Intel DP55KG */
>>> +		.callback = set_acpi_reboot,
>>> +		.ident = "Intel DP55KG",
>>> +		.matches = {
>>> +			DMI_MATCH(DMI_SYS_VENDOR, "Intel Corporation"),
>>> +			DMI_MATCH(DMI_PRODUCT_NAME, "DP55KG"),
>>> +		},
>>> +	},
>>> 	{ }
>>> };
>>> 
>>> -- 
>>> 1.6.3.3
>>> 
>> 
>> Hello,
>> 
>> # patch -p1 < /home/jpiszcz/patch patching file arch/x86/kernel/reboot.c
>> Hunk #1 succeeded at 132 (offset -2 lines).
>> Hunk #2 succeeded at 272 (offset -2 lines).
>> 
>> # uname -a
>> Linux p34.internal.lan 2.6.31.3 #8 SMP Wed Oct 14 14:37:37 EDT 2009 x86_64 
>> GNU/Linux
>> 
>> # ls -l /usr/src/linux/.config-* | tail -n 1
>> -rw-r--r-- 1 root root 45762 2009-10-15 18:31 
>> /usr/src/linux/.config-2.6.31.3-9
>> 
>> Hi,
>> 
>> Thanks for the patch-- tested, but unfortunately it still hanged at the 
>> reboot process (when I did not use reboot=a).
>> 
>> I see in the patch:
>>> +             printk(KERN_INFO "%s series board detected. Selecting ACPI
>> 
>> But..
>> 
>> $ dmesg | grep -i 'series board'
>> $
>> 
>> $ uname -a
>> Linux p34.internal.lan 2.6.31.3 #9 SMP Thu Oct 15 18:31:29 EDT 2009 x86_64 
>> GNU/Linux
>> 
>> $ cat /proc/cmdline auto BOOT_IMAGE=2.6.31.3-9 ro root=812 
>> 3w-9xxx.use_msi=1
>> 
>>> +			DMI_MATCH(DMI_SYS_VENDOR, "Intel Corporation"),
>>> +			DMI_MATCH(DMI_PRODUCT_NAME, "DP55KG"),
>> 
>> But..
>> 
>> # dmidecode|grep -i dp55
>>        Product Name: DP55KG
>> 
>> Stops at Corp.
>> 
>> # dmidecode|grep -i vendor
>>        Vendor: Intel Corp.
>> 
>> Changed that line to:
>> +     DMI_MATCH(DMI_SYS_VENDOR, "Intel Corp."),
>> 
>> That did not work either, ideas?
>> 
>> Justin.
>> 
>
> Ack, hold a second, I updated the patch/info in the e-mail but did not save 
> it before I rebooted as I am rebooting every 5 minutes.
>
> Trying w/ Intel Corp.
>

$ dmesg | grep -i series
$

Still no match (and still hangs at reboot)...

# cat /usr/src/linux-2.6.31.3/arch/x86/kernel/reboot.c|grep -i intel
         {       /* Handle problems with rebooting on Intel DP55KG */
                 .ident = "Intel DP55KG",
                         DMI_MATCH(DMI_SYS_VENDOR, "Intel Corp."),

Justin.

Re: [PATCH] Add quirk for ACPI reboots on Intel DP55KG boards.

[Bryan Donlan]

On Thu, Oct 15, 2009 at 6:59 PM, Justin Piszcz <jpiszcz@lucidpixels.com> wrote:

> Still no match (and still hangs at reboot)...
>
> # cat /usr/src/linux-2.6.31.3/arch/x86/kernel/reboot.c|grep -i intel
>        {       /* Handle problems with rebooting on Intel DP55KG */
>                .ident = "Intel DP55KG",
>                        DMI_MATCH(DMI_SYS_VENDOR, "Intel Corp."),
>
> Justin.
>

Sorry - bear with me a bit here, it's my first time writing quirks for this :)
Try:
            DMI_MATCH(DMI_BOARD_VENDOR, "Intel Corporation"),
            DMI_MATCH(DMI_BOARD_NAME, "DP55KG"),

Re: [PATCH] Add quirk for ACPI reboots on Intel DP55KG boards.

[Justin Piszcz]

[-- Attachment #1: Type: TEXT/PLAIN, Size: 1303 bytes --]



On Thu, 15 Oct 2009, Bryan Donlan wrote:

> On Thu, Oct 15, 2009 at 6:59 PM, Justin Piszcz <jpiszcz@lucidpixels.com> wrote:
>
>> Still no match (and still hangs at reboot)...
>>
>> # cat /usr/src/linux-2.6.31.3/arch/x86/kernel/reboot.c|grep -i intel
>>        {       /* Handle problems with rebooting on Intel DP55KG */
>>                .ident = "Intel DP55KG",
>>                        DMI_MATCH(DMI_SYS_VENDOR, "Intel Corp."),
>>
>> Justin.
>>
>
> Sorry - bear with me a bit here, it's my first time writing quirks for this :)
> Try:
>            DMI_MATCH(DMI_BOARD_VENDOR, "Intel Corporation"),
>            DMI_MATCH(DMI_BOARD_NAME, "DP55KG"),
>

From dmidecode:

BIOS Information
   Vendor: Intel Corp.

I assume you mean:

             DMI_MATCH(DMI_BOARD_VENDOR, "Intel Corp."),
             DMI_MATCH(DMI_BOARD_NAME, "DP55KG"),

Did not work.

Trying your revised suggestion below:

>            DMI_MATCH(DMI_BOARD_VENDOR, "Intel Corporation"),
>            DMI_MATCH(DMI_BOARD_NAME, "DP55KG"),

Up to build #13 now, trying a reboot, but does not look good...

$ dmesg | grep -i series
$

$ uname -a
Linux p34.internal.lan 2.6.31.3 #13 SMP Thu Oct 15 19:23:31 EDT 2009 
x86_64 GNU/Linux

Here goes..

Same, all methods fail, :(

Justin.

Re: [PATCH] Add quirk for ACPI reboots on Intel DP55KG boards.

[Bryan Donlan]

On Thu, Oct 15, 2009 at 7:30 PM, Justin Piszcz <jpiszcz@lucidpixels.com> wrote:

> Same, all methods fail, :(
>
> Justin.

Was there a message on dmesg about setting the reboot type?
dmesg | grep 'series board detected'

If not, please dump the DMI identification values Linux is using like so:
for i in /sys/class/dmi/id/*; do if [ -f $i ]; then echo -n "$i \"";
cat $i | tr -d '\n'; echo '"'; fi; done

Re: [PATCH] Add quirk for ACPI reboots on Intel DP55KG boards.

[Justin Piszcz]

On Thu, 15 Oct 2009, Bryan Donlan wrote:

> On Thu, Oct 15, 2009 at 7:30 PM, Justin Piszcz <jpiszcz@lucidpixels.com> wrote:
>
>> Same, all methods fail, :(
>>
>> Justin.
>
> Was there a message on dmesg about setting the reboot type?
> dmesg | grep 'series board detected'
>
> If not, please dump the DMI identification values Linux is using like so:
> for i in /sys/class/dmi/id/*; do if [ -f $i ]; then echo -n "$i \"";
> cat $i | tr -d '\n'; echo '"'; fi; done
>
Here you go:

# for i in /sys/class/dmi/id/*; do if [ -f $i ]; then echo -n "$i \"";  cat $i | tr -d '\n'; echo '"'; fi; done
/sys/class/dmi/id/bios_date "09/28/2009"
/sys/class/dmi/id/bios_vendor "Intel Corp."
/sys/class/dmi/id/bios_version "KGIBX10J.86A.3822.2009.0928.1349"
/sys/class/dmi/id/board_asset_tag "Base Board Asset Tag"
/sys/class/dmi/id/board_name "DP55KG"
/sys/class/dmi/id/board_serial "XXXXXXXXXXXX"
/sys/class/dmi/id/board_vendor "Intel Corporation"
/sys/class/dmi/id/board_version "AAE47218-403"
/sys/class/dmi/id/chassis_asset_tag "        "
/sys/class/dmi/id/chassis_serial "        "
/sys/class/dmi/id/chassis_type "2"
/sys/class/dmi/id/chassis_vendor "        "
/sys/class/dmi/id/chassis_version "        "
/sys/class/dmi/id/modalias "dmi:bvnIntelCorp.:bvrKGIBX10J.86A.3822.2009.0928.1349:bd09/28/2009:svn:pn:pvr:rvnIntelCorporation:rnDP55KG:rvrAAE47218-403:cvn:ct2:cvr:"
/sys/class/dmi/id/product_name "        "
/sys/class/dmi/id/product_serial "        "
/sys/class/dmi/id/product_uuid "81BCB172-8BB9-11DE-B5DA-001CC0C81E6F"
/sys/class/dmi/id/product_version "        "
/sys/class/dmi/id/sys_vendor "        "
/sys/class/dmi/id/uevent "MODALIAS=dmi:bvnIntelCorp.:bvrKGIBX10J.86A.3822.2009.0928.1349:bd09/28/2009:svn:pn:pvr:rvnIntelCorporation:rnDP55KG:rvrAAE47218-403:cvn:ct2:cvr:"

Justin.

Re: [PATCH] Add quirk for ACPI reboots on Intel DP55KG boards.

[H. Peter Anvin]

The DMI system name seems to actually be blank:

Handle 0x0006, DMI type 1, 27 bytes
System Information
	Manufacturer:
	Product Name:
	Version:
	Serial Number:

As such, I suspect you need DMI_BOARD_VENDOR and DMI_BOARD_NAME:

Handle 0x0007, DMI type 2, 20 bytes
Base Board Information
	Manufacturer: Intel Corporation
	Product Name: DP55KG

You can double-check by looking at what names Linux uses in
/sys/class/dmi/id.

	-hpa