Ok. But a regular boot works, right? If it does, then does a kexec reboot of the same 5.3.14 kernel works?