Constant kernel_loader::elf::DT_VALRNGHI

pub const DT_VALRNGHI: u32 = 1879047679;