[PATCH] i386: Clean up smp_tune_scheduling()