--- drivers/acpi/processor_core.c

+++ drivers/acpi/processor_core.c

@@ -134,12 +134,6 @@ static int set_no_mwait(const struct dmi

static struct dmi_system_id __cpuinitdata processor_idle_dmi_table[] = {

{

- set_no_mwait, "IFL91 board", {

- DMI_MATCH(DMI_BIOS_VENDOR, "COMPAL"),

- DMI_MATCH(DMI_SYS_VENDOR, "ZEPTO"),

- DMI_MATCH(DMI_PRODUCT_VERSION, "3215W"),

- DMI_MATCH(DMI_BOARD_NAME, "IFL91") }, NULL},

- {

set_no_mwait, "Extensa 5220", {

DMI_MATCH(DMI_BIOS_VENDOR, "Phoenix Technologies LTD"),

DMI_MATCH(DMI_SYS_VENDOR, "Acer"),