Fix Kernel bootstrap