loading the kernel ...