Constant kernel_loader::elf::DT_ADDRRNGHI

pub const DT_ADDRRNGHI: u32 = 1879047935;