* elfcore.h (elf_core_file_p): Set the machine architecture