efi_loadaddr
last_addr = efi_loadaddr(LOAD_MEM, &size, mfp->f_addr + mfp->f_size);
vm_offset_t efi_loadaddr(uint_t, void *, vm_offset_t);
archsw.arch_loadaddr = efi_loadaddr;