--- src/sys/platform/vkernel/i386/cpu_regs.c	2007/08/15 03:10:49	1.22
+++ src/sys/platform/vkernel/i386/cpu_regs.c	2007/11/07 17:42:50	1.23
@@ -853,10 +853,7 @@ cpu_setregs(void)
 	cr0 = rcr0();
 	cr0 |= CR0_NE;			/* Done by npxinit() */
 	cr0 |= CR0_MP | CR0_TS;		/* Done at every execve() too. */
-#ifdef I386_CPU
-	if (cpu_class != CPUCLASS_386)
-#endif
-		cr0 |= CR0_WP | CR0_AM;
+	cr0 |= CR0_WP | CR0_AM;
 	load_cr0(cr0);
 	load_gs(_udatasel);
 #endif