Se alguém precisar da resposta apenas no caso, eu encontrei uma abordagem aceitável (para mim). Você apenas deixa o kernel normal do Unix / linux iniciar, então você simplesmente faz o kexec no grub ou em outro gerenciador de inicialização. Talvez isso possa ser roteirizado como um script de inicialização.