load the kernel