Bug in Kernel init fixed