LOAD_ELF
dest = archsw.arch_loadaddr(LOAD_ELF, ehdr, dest);
dest = archsw.arch_loadaddr(LOAD_ELF, hdr, dest);
if (type == LOAD_ELF)