Constant kernel_loader::elf::ET_HIPROC

pub const ET_HIPROC: u32 = 65535;