Forgot: kernel can't read from user memory directly. Added new buffer
appropriately.