OS-3535 lxbrand vdso assembly bungles SET_SIZE
Reviewed by: Patrick Mooney <patrick.mooney@joyent.com>