--- linux-2.6.27-gentoo-r2/arch/x86/kernel/acpi/boot.c	2008-10-10 01:13:53.000000000 +0300
+++ linux-2.6.27-gentoo-r2/arch/x86/kernel/acpi/boot.c	2008-10-23 22:10:37.123418408 +0300
@@ -1635,6 +1635,14 @@ 
 		     DMI_MATCH(DMI_PRODUCT_NAME, "HP Compaq 6715b"),
 		     },
 	 },
+	{
+	 .callback = dmi_ignore_irq0_timer_override,
+	 .ident = "HP 6715s laptop",
+	 .matches = {
+		     DMI_MATCH(DMI_SYS_VENDOR, "Hewlett-Packard"),
+		     DMI_MATCH(DMI_PRODUCT_NAME, "HP Compaq 6715s"),
+		     },
+	 },
 	{}
 };