ports/sysdeps/cris/elf