score: SMP scheduler support documentation