* readelf.c (get_machine_name, get_osabi_name): Handle more