pub fn kernel_elf_size() -> usize