Fix important comment in kernel/arch/sparc64/src/proc/scheduler.c.