Must resolve kernel not bootable problem