kernel: load kmain()