Hello, why creates kexec-tools ELF64 headers per default on i386? Wouldn't it make more sense to look if a physical address exceeds the 32-bit limit and then switch to ELF64 automatically if the user doesn't have specified an option? Thanks, Bernhard