Constant kernel_loader::elf::NT_AUXV

pub const NT_AUXV: u32 = 6;