[LinuxBIOS] ADLO and Kexec pathway questions