--- sys/x86/x86/mp_x86.c.orig
+++ sys/x86/x86/mp_x86.c
@@ -1678,6 +1678,10 @@
 	uint32_t generation;
 	int cpu;
 
+#ifdef __i386__
+	sched_pin();
+#endif
+
 	/*
 	 * It is not necessary to signal other CPUs while booting or
 	 * when in the debugger.