booting the kernel