[IA64] Fix NULL-pointer dereference in ia64_machine_kexec()