Fix boot (kexec)