Fix linker segfault that occured when linking ia64-linux kernel.