pub fn kernel_elf_data_end() -> usize