change the implementation of the kernel loader