Re: [LinuxBIOS] Kexec support?