--- kexec-tools-1.101/kexec/arch/i386/kexec-x86.c.orig 2006-11-15 16:28:04.000000000 -0500 +++ kexec-tools-1.101/kexec/arch/i386/kexec-x86.c 2006-11-15 16:28:13.000000000 -0500 @@ -145,7 +145,7 @@ .serial_baud = 0, .console_vga = 0, .console_serial = 0, - .core_header_type = CORE_TYPE_ELF64, + .core_header_type = CORE_TYPE_ELF32, }; int arch_process_options(int argc, char **argv)