Minor fix in the kernel bootstrap