more comments, new kernel loader function