In rS356767, memcpy/memmove/bcopy optimizations were added to libc to improve performance.
This exposed an existing kernel issue in VSX handling. The PSL_VSX flag was not being excluded from the psl_userstatic set, which meant that any thread that used these and then called swapcontext(3) would get an EINVAL error.
While here, add some comments to try and explain psl_userstatic / psl_userset / psl_userset32 better, as well as add a better comment for the r344123 fix.