score: Fix state diagram
score: Simplify SMP scheduler support