--- linux-2.6.0-test1/arch/i386/kernel/dmi_scan.c.orig	2003-07-20 17:09:10.000000000 +0200
+++ linux-2.6.0-test1/arch/i386/kernel/dmi_scan.c	2003-07-20 21:25:02.000000000 +0200
@@ -706,6 +706,12 @@
 			NO_MATCH, NO_MATCH
 			} },
 
+	{ local_apic_kills_bios, "ASUS L3C", {
+			MATCH(DMI_BOARD_VENDOR, "ASUSTeK Computer INC."),
+			MATCH(DMI_BOARD_NAME, "P4_L3C"),
+			NO_MATCH, NO_MATCH
+			} },
+
 	/* Problem Intel 440GX bioses */
 
 	{ broken_pirq, "SABR1 Bios", {			/* Bad $PIR */