Clarify some comments in SMP code

Spotted by Joona.

No functional change.