Constant kernel_loader::elf::SHT_NUM

pub const SHT_NUM: u32 = 12;