pub fn kernel_elf_end() -> usize