hello, has anybody succeeded in getting kexec to work on imx35? I am trying with a very minimal configuration, just a serial console and an initramfs including kexec binary and the kernel to load I have some problems and I would like to know if there are bugs that prevent kexec to work on this machine thank you all Francesco