Constant kernel_loader::elf::DT_VERDEFNUM

pub const DT_VERDEFNUM: u32 = 1879048189;