+#ifdef CONFIG_X86 static struct dmi_system_id dsdt_dmi_table[] __initdata = { This #ifdef needs to be a few lines earlier to avoid getting a warning: drivers/acpi/bus.c:73: 'set_copy_dsdt' defined but not used But otherwise this patch does work and fixes the problem. Tested-by: Tony Luck <tony.luck@xxxxxxxxx> Insyde are now writing BIOS for ia64 systems (I have two in my lab). I hope they don't copy this bug from their laptop BIOS to my systems. If they do, we'd have to revisit this :-) -Tony -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html