Added read_kernel and write_kernel functions to libkern