Constant kernel_loader::elf::DT_FINI

pub const DT_FINI: u32 = 13;