Constant kernel_loader::elf::OLD_DT_HIOS

pub const OLD_DT_HIOS: u32 = 1879048191;