Disable PGE on SMP-P4 machines due to bugs.

arch/i386/kernel/setup.c

@@ -2153,6 +2153,11 @@ static void __init init_intel(struct cpuinfo_x86 *c)
 		strcpy(c->x86_model_id, p);
 	
 #ifdef CONFIG_SMP
+	/* PGE CPUID bug: Pentium4 supports PGE, but seems to have SMP bugs.. */
+	if ( c->x86 == 15 )
+		clear_bit(X86_FEATURE_PGE, c->x86_capability);
+
+
 	if (test_bit(X86_FEATURE_HT, c->x86_capability)) {
 		extern	int phys_proc_id[NR_CPUS];