--- drivers/input/serio/i8042-x86ia64io.h

+++ drivers/input/serio/i8042-x86ia64io.h

@@ -416,13 +416,6 @@ static const struct dmi_system_id __init

DMI_MATCH(DMI_PRODUCT_VERSION, "0100"),

},

},

- {

- /* Dell Vostro V13 */

- .matches = {

- DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),

- DMI_MATCH(DMI_PRODUCT_NAME, "Vostro V13"),

- },

- },

{ }

};

@@ -544,17 +537,6 @@ static const struct dmi_system_id __init

};

#endif

-static const struct dmi_system_id __initconst i8042_dmi_notimeout_table[] = {

- {

- /* Dell Vostro V13 */

- .matches = {

- DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),

- DMI_MATCH(DMI_PRODUCT_NAME, "Vostro V13"),

- },

- },

- { }

-};

-

/*

* Some Wistron based laptops need us to explicitly enable the 'Dritek

* keyboard extension' to make their extra keys start generating scancodes.

@@ -884,9 +866,6 @@ static int __init i8042_platform_init(vo

if (dmi_check_system(i8042_dmi_nomux_table))

i8042_nomux = true;

- if (dmi_check_system(i8042_dmi_notimeout_table))

- i8042_notimeout = true;

-

if (dmi_check_system(i8042_dmi_dritek_table))

i8042_dritek = true;

#endif /* CONFIG_X86 */