add kernel loader