[PATCH] sched: fix SMT scheduling problems