Improved kernel integration documentation

Signed-off-by: Jeremy C. Andrus <jeremya@cs.columbia.edu>