Updated kernel manual modified files