Go back to using void* for syscallbuf pointers.