Go back to using void* for syscallbuf pointers.

#832