Index: dmitry/drivers/input/serio/i8042-x86ia64io.h
===================================================================
--- dmitry.orig/drivers/input/serio/i8042-x86ia64io.h	2005-07-07 11:02:29.000000000 +0200
+++ dmitry/drivers/input/serio/i8042-x86ia64io.h	2005-07-07 11:05:16.000000000 +0200
@@ -131,6 +131,13 @@
 		},
 	},
 	{
+		.ident = "Fujitsu-Siemens Lifebook T3010",
+		.matches = {
+			DMI_MATCH(DMI_SYS_VENDOR, "FUJITSU SIEMENS"),
+			DMI_MATCH(DMI_PRODUCT_NAME, "LIFEBOOK T3010"),
+		},
+	},
+	{
 		.ident = "Toshiba P10",
 		.matches = {
 			DMI_MATCH(DMI_SYS_VENDOR, "TOSHIBA"),