some changes about starting the kernel