elf_get_head_size
size = elf_get_head_size((vaddr_t)kernpa_start);
size_t elf_get_head_size(vaddr_t);