kernel edits

Here are a few commits to look at...